5488 search results - page 143 / 1098 » On the Secure Implementation of Security Protocols |
123
click to vote
TGC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...
144
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— As content delivery to wireless devices becomes faster and scalable, it is likely that mobile commerce will constitute a significant portion of digital commerce. In markets, b...
120
click to vote
WSS
2001
15 years 5 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
143
click to vote
AICCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
—In the current research, we present an operation framework and protection mechanism to facilitate secure environment to protect mobile agents against tampering. The system depen...
131
click to vote
ACISP
1998
Springer
15 years 8 months ago
1998
Springer
PKI Public Key Infrastructure is fundamental for many security applications on the network. However, there are so many di erent kinds of PKI at current stage and they are not comp...