106 search results - page 7 / 22 » Trusted Multiplexing of Cryptographic Protocols |
115
click to vote
WIMOB
2008
IEEE
15 years 6 months ago
2008
IEEE
Energy is a central concern in the deployment of wireless sensor networks. In this paper, we investigate the energy cost of cryptographic protocols, both from a communication and ...
113
Voted
ESORICS
1994
Springer
15 years 3 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
100
Voted
IJISEC
2006
14 years 11 months ago
2006
Abstract Privacy has become a factor of increasing importance in auction design. We propose general techniques for cryptographic first-price and (M + 1)st-price auction protocols t...
106
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
75
Voted
ACNS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...