4305 search results - page 692 / 861 » Analysing Protocol Implementations |
129
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
135
click to vote
ESORICS
2005
Springer
15 years 9 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
140
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The current IETF standardization work has highlighted the feasibility of providing the users with a QoS network architecture in the framework of Integrated Services over Different...
140
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Traditionally, specific telecommunications services were essentially confined to certain types of networks; e.g., television over broadcast networks or cable and voice service ove...
142
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...