2162 search results - page 3 / 433 » A Meta-Notation for Protocol Analysis |
IJISEC
2008
13 years 6 months ago
2008
We present a model checking technique for security protocols based on a reduction to propositional logic. At the core of our approach is a procedure that, given a description of th...
COMSUR
2011
12 years 6 months ago
2011
Abstract—Exchanging cryptographic keys to encrypt the media stream in the Session Initiation Protocol (SIP) has proven difficult. The challenge is to effectively exchange keys w...
ENTCS
2006
13 years 6 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
DOCENG
2009
ACM
13 years 4 months ago
2009
ACM
MASCOTS
2007
13 years 7 months ago
2007
—Previously, we have developed a framework to perform systematic analysis of CSMA/CA based wireless MAC protocols. The framework first identifies protocol states that meet our ...