659 search results - page 41 / 132 » Compiling and securing cryptographic protocols |
90
Voted
CARDIS
1998
Springer
15 years 4 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...
117
Voted
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
A Group Key Agreement protocol is a process to establish a cryptographic key for a group of participants over an open network. In this paper, we propose a group key agreement(CAGKA...
103
click to vote
MOBIQUITOUS
2007
IEEE
15 years 6 months ago
2007
IEEE
Key establishment is one of the major challenges in Wireless Personal Area Networks, as traditional security mechanisms often do not cope with the dynamic characteristics of wirel...
FOSSACS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
CORR
2010
Springer
15 years 16 days 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 ...