5488 search results - page 62 / 1098 » On the Secure Implementation of Security Protocols |
172
click to vote
ACISP
2011
Springer
14 years 3 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...
ICC
2009
IEEE
15 years 6 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...
CSFW
2000
IEEE
15 years 3 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...
AINA
2004
IEEE
15 years 3 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...
FSTTCS
2007
Springer
15 years 6 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 ...