2162 search results - page 156 / 433 » A Meta-Notation for Protocol Analysis |
SKG
2006
IEEE
14 years 4 months ago
2006
IEEE
Sensor network is a novel technology about acquiring and processing information. This paper introduces the basic interaction patterns between requesters and providers of services ...
CADE
2004
Springer
14 years 10 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
LPAR
2007
Springer
14 years 4 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
Group Key Agreement (GKA) protocols enable the participants to derive a key based on each one's contribution over a public network without any central authority. They also pr...
WCRE
2007
IEEE
14 years 4 months ago
2007
IEEE
Dynamic protocol recovery tries to recover a component’s sequencing constraints by means of dynamic analysis. This problem has been tackled by several automaton learning approac...