4305 search results - page 1 / 861 » Analysing Protocol Implementations |
ISPEC
2009
Springer
14 years 9 days ago
2009
Springer
ISICT
2003
13 years 7 months ago
2003
: Formal verification provides a rigid and thorough means of evaluating the correctness of cryptographic protocols so that even subtle defects can be identified. As the application...
CCGRID
2005
IEEE
13 years 11 months ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
CN
2004
13 years 5 months ago
2004
This paper proposes a handoff scheme in a wireless access network where IEEE802.11 is used as link layer protocol and Mobile IP as network layer protocol. The scheme uses triggers...
POPL
2005
ACM
14 years 5 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...