1612 search results - page 31 / 323 » About models of security protocols |
206
Voted
SYNASC
2008
IEEE
16 years 1 months ago
2008
IEEE
202
click to vote
ESORICS
2004
Springer
16 years 27 days 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...
164
click to vote
COMCOM
2000
15 years 7 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...