196 search results - page 15 / 40 » Formally Analysing a Security Protocol for Replay Attacks |
CSFW
2010
IEEE
14 years 14 days ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
CSFW
1998
IEEE
14 years 25 days ago
1998
IEEE
In security protocol analysis, it is important to learn general principles that limit the abilities of an attacker, and that can be applied repeatedly to a variety of protocols. W...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
EUROCRYPT
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
ICALP
2004
Springer
14 years 1 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...