3504 search results - page 68 / 701 » Secure protocol composition |
NTMS
2008
IEEE
15 years 6 months ago
2008
IEEE
—Due to the stringent computational capabilities of low-cost RFID tags, many lightweight authentication protocols have been proposed recently aiming to achieve secure authenticat...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...
116
click to vote
WWW
2005
ACM
16 years 17 days ago
2005
ACM
WS-* specifications cover a variety of issues ranging from security and reliability to transaction support in web services. However, these specifications do not address web servic...
114
click to vote
INFORMATICALT
2007
14 years 11 months ago
2007
Abstract. Deniable authenticated protocol is a new cryptographic authentication protocol that enables a designated receiver to identify the source of a given message without being ...
CSFW
1999
IEEE
15 years 4 months ago
1999
IEEE
Strand space analysis [13, 12] is a method for stating and proving correctness properties for cryptographic protocols. In this paper we apply the same method to the related proble...