147 search results - page 10 / 30 » An intruder model for verifying liveness in security protoco... |
136
click to vote
IANDC
2007
15 years 1 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
113
click to vote
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...
126
Voted
JCS
2010
14 years 8 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
124
click to vote
SP
2003
IEEE
15 years 7 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
101
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...