1653 search results - page 170 / 331 » Timed analysis of security protocols |
142
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
150
Voted
TKDE
2010
15 years 1 months ago
2010
—Peer-to-peer (P2P) networks are vulnerable to peers who cheat, propagate malicious code, leech on the network, or simply do not cooperate. The traditional security techniques de...
142
Voted
JCS
2010
15 years 2 months ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
111
click to vote
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper proposes HELP://, a simple light-weight protocol that runs over HTTP and is used to disseminate information from a server(s) to its clients during the time of a crisi...
164
Voted
HICSS
1996
IEEE
15 years 7 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...