5488 search results - page 62 / 1098 » On the Secure Implementation of Security Protocols |
217
click to vote
ACISP
2011
Springer
14 years 7 months ago
2011
Springer
We propose a generic three-pass key agreement protocol that is based on a certain kind of trapdoor one-way function family. When specialized to the RSA setting, the generic protoco...
120
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The Host Identity Protocol (HIP) has been specified by the IETF as a new solution for secure host mobility and multihoming in the Internet. HIP uses self-certifying publicpriva...
125
Voted
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose an approach to support confidentiality for mobile implementations of security-sensitive protocols using Java/JVM. An applet which receives and passes on confidential in...
126
click to vote
AINA
2004
IEEE
15 years 7 months ago
2004
IEEE
The aim of this work is to describe a tool (Spi2Java) that automatically generates Java code implementing cryptographic protocols described in the formal specification language sp...
119
Voted
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...