1653 search results - page 103 / 331 » Timed analysis of security protocols |
145
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
117
Voted
CCS
2009
ACM
15 years 9 months ago
2009
ACM
Although modern communications services are susceptible to third-party eavesdropping via a wide range of possible techniques, law enforcement agencies in the US and other countrie...
140
Voted
CIC
2006
15 years 4 months ago
2006
A shared secret, conference key, must be established among members to securely communicate among them. The Diffie-Hellman is often used for the conference key establishment. In a ...
JALC
2006
15 years 2 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
126
click to vote
ISF
2006
15 years 2 months ago
2006
Abstract Research in information security, risk management and investment has grown in importance over the last few years. However, without reliable estimates on attack probabiliti...