5488 search results - page 79 / 1098 » On the Secure Implementation of Security Protocols |
PERCOM
2005
ACM
15 years 11 months ago
2005
ACM
Abstract-- Wireless networks are at risk of security attacks since transmissions can be intercepted by anyone within the transmission range. Therefore participating entities should...
WISTP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
SP
2006
IEEE
15 years 5 months ago
2006
IEEE
We propose PS-LTL, a pure-past security linear temporal logic that allows the specification of a variety of authentication, secrecy and data freshness properties. Furthermore, we...
ISSA
2004
15 years 1 months ago
2004
This paper argues that powerful impetus exists for the realisation of a global multilateral electronic market infrastructure, as envisaged by the ebXML1 endeavour. Crucial in this...
EUROCRYPT
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...