1853 search results - page 61 / 371 » Cryptographic Protocols and Network Security |
146
Voted
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
We propose a middleware for automated implementation of security protocols for Web services. The proposed middleware consists of two main layers: the communication layer and the se...
121
Voted
IEEEARES
2007
IEEE
15 years 10 months ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...
116
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
115
click to vote
CARDIS
1998
Springer
15 years 8 months ago
1998
Springer
We describe the implementation of the Shoup-Rubin key distribution protocol. This protocol stores long-term keys on a smartcard and uses the cryptographic capability of the card t...
128
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we prove that type-tagging prevents type-flaw attacks on security protocols that use the Exclusive-OR operator as our main contribution. Our proof method is general ...