401 search results - page 33 / 81 » Formal Analysis of Meeting Protocols |
108
click to vote
ESORICS
2005
Springer
15 years 7 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
101
click to vote
PERCOM
2007
ACM
16 years 1 months ago
2007
ACM
In this work, we consider privacy in Radio Frequency IDentification (RFID) systems. Our contribution is threefold: (1) We propose a simple, formal definition of strong privacy usef...
129
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
123
click to vote
ASIACRYPT
2008
Springer
15 years 4 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
107
click to vote
IWFM
2003
15 years 3 months ago
2003
Meadows recently proposed a formal cost-based framework for analysis of denial of service. It was showed how some principles that have already been used to make cryptographic prot...