2162 search results - page 157 / 433 » A Meta-Notation for Protocol Analysis |
TACAS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We describe a method for enumerating all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occur...
ASIACRYPT
2005
Springer
14 years 3 months ago
2005
Springer
The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security ...
SOCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—We address the problem of collaborative sensing in cognitive radios. In a cognitive radio network, all the nodes may sense the spectrum simultaneously. They should then exchange...
DISCEX
2003
IEEE
14 years 3 months ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...