270 search results - page 35 / 54 » Verifying Second-Level Security Protocols |
EUROCRYPT
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
ACSAC
1997
IEEE
14 years 6 days ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...
AAI
2004
13 years 8 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
SASN
2003
ACM
14 years 1 months ago
2003
ACM
In this paper we address the problem of secure multicast of data streams over a multihop wireless ad hoc network. We propose a dynamic multicast group management protocol that aim...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—Mechanisms for data access and payment are central to the success of content delivery systems. However, not much attention has been paid to the issues of dishonest intermediarie...