741 search results - page 6 / 149 » Abstract Machines for Communication Security |
ESORICS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
SCN
2008
Springer
13 years 7 months ago
2008
Springer
Abstract-- Vehicular ad hoc networks (VANETs) represent a promising new communication technology that can facilitate many new forms of automotive applications. Many of the applicat...
CRYPTO
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
COCOON
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. Problems of secure communication and computation have been studied extensively in network models, for example, Franklin and Yung have studied secure communications in the...
NETWORKING
2004
13 years 8 months ago
2004
Abstract. Multicast content delivery can be expected to become a major source of revenue with the increase of private broadband fixed and mobile communications. Several multicast a...