947 search results - page 147 / 190 » Provable Implementations of Security Protocols |
125
click to vote
CTRSA
2009
Springer
15 years 10 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...
148
Voted
SAINT
2008
IEEE
15 years 10 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...
139
Voted
EEE
2005
IEEE
15 years 9 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...
113
Voted
SCN
2004
Springer
15 years 9 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...
145
Voted
OOPSLA
1990
Springer
15 years 7 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 ...