1342 search results - page 109 / 269 » Attacks are Protocols Too |
127
click to vote
SP
2000
IEEE
15 years 11 months ago
2000
IEEE
The law of Conservation of Flow, which states that an input must either be absorbed or sent on as an output (possibly with modification), is an attractive tool with which to analy...
199
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
185
click to vote
IJNSEC
2011
15 years 1 months ago
2011
We introduce some modifications to the widely deployed Kerberos authentication protocol. The principle’s secretkey will be independent of the user password to overcome the weak...
175
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Multicast services are demanded by a variety of applications. Many applications require anonymity during their communication. However, there has been very little work on anonymous...
158
click to vote
CONCUR
2005
Springer
16 years 1 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...