375 search results - page 29 / 75 » What is Correctness of Security Protocols |
EUROCRYPT
2000
Springer
13 years 11 months ago
2000
Springer
Password-based protocols for authenticated key exchange (AKE) are designed to work despite the use of passwords drawn from a space so small that an adversary might well enumerate, ...
IEEESCC
2006
IEEE
14 years 1 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...
EUROCRYPT
2004
Springer
14 years 1 months ago
2004
Springer
It is well-known that n players connected only by pairwise secure channels can achieve multi-party computation secure against an active adversary if and only if – t < n/2 of t...
HICSS
2010
IEEE
14 years 2 months ago
2010
IEEE
Recently, there has been an increased focus and a sense of urgency in developing standards for Power Grid systems centered on the need for interoperability. Given the threat again...
CRYPTO
2008
Springer
13 years 9 months ago
2008
Springer
Prior approaches [15, 14] to building collusion-free protocols require exotic channels. By taking a conceptually new approach, we are able to use a more digitally-friendly communic...