375 search results - page 3 / 75 » What is Correctness of Security Protocols |
COMPSEC
2010
13 years 4 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
ECSA
2010
Springer
13 years 7 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
SP
2008
IEEE
14 years 1 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ICALP
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. We present the first private information retrieval (PIR) scheme which is both, deterministically correct and has poly-logarithmic communication complexity. Our PIR proto...