947 search results - page 2 / 190 » Provable Implementations of Security Protocols |
IEEESCC
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactio...
ESORICS
2004
Springer
13 years 10 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
ENTCS
2006
13 years 4 months ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...