115 search results - page 15 / 23 » Verifying authentication protocols with CSP |
ICDCSW
2007
IEEE
14 years 4 months ago
2007
IEEE
Recent secure code-update protocols for sensor networks have been based on asymmetric-crypto primitives such as digital signatures. Our approach, Castor, explores the feasibility ...
CCS
2006
ACM
14 years 1 months ago
2006
ACM
Email List Services (or simply, mailing lists) are becoming increasingly common for collaborative computing. In order to enable their use for official purposes with increased effe...
ICC
2009
IEEE
14 years 4 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
JSAC
2011
13 years 4 months ago
2011
Abstract—In this paper, we propose a distributed key management framework based on group signature to provision privacy in vehicular ad hoc networks (VANETs). Distributed key man...
CTRSA
2006
Springer
14 years 1 months ago
2006
Springer
RFID-tags are becoming very popular tools for identification of products. As they have a small microchip on board, they offer functionality that can be used for security purposes. ...