2162 search results - page 54 / 433 » A Meta-Notation for Protocol Analysis |
ATVA
2006
Springer
14 years 14 days ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
This paper addresses the quantitative analysis of gossiping protocols. In contrast to existing approaches which are entirely based on the simulation of the individual nodes' ...
IWFM
2003
13 years 10 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...
JDCTA
2010
13 years 3 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...