1612 search results - page 31 / 323 » About models of security protocols |
SYNASC
2008
IEEE
15 years 4 months ago
2008
IEEE
JELIA
2004
Springer
15 years 3 months ago
2004
Springer
FM
2003
Springer
15 years 3 months ago
2003
Springer
ESORICS
2004
Springer
15 years 3 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
COMCOM
2000
14 years 9 months ago
2000
We explain how the formal language LOTOS can be used to specify security protocols and cryptographic operations. We describe how security properties can be modelled as safety prop...