947 search results - page 147 / 190 » Provable Implementations of Security Protocols |
CTRSA
2009
Springer
14 years 4 months ago
2009
Springer
Digital Enhanced Cordless Telecommunications (DECT) is a standard for connecting cordless telephones to a fixed telecommunications network over a short range. The cryptographic al...
SAINT
2008
IEEE
14 years 4 months ago
2008
IEEE
Tor (The Onion Routing) provides a secure mechanism for offering TCP-based services while concealing the hidden server’s IP address. In general the acceptance of services strong...
EEE
2005
IEEE
14 years 3 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
SCN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In the past thirty years, cryptology has evolved from a secret art to a modern science. Weaker algorithms and algorithms with short keys are disappearing, political contr...
OOPSLA
1990
Springer
14 years 1 months ago
1990
Springer
The paper presents a discussion and a specification of an exception handling system dedicated to object-oriented programming. We show how a full object-oriented representation of ...