103 search results - page 1 / 21 » Verified Interoperable Implementations of Security Protocols |
CSFW
2006
IEEE
13 years 10 months ago
2006
IEEE
P2P
2008
IEEE
14 years 1 months ago
2008
IEEE
The rapid proliferation of Internet and related technologies has created tremendous possibilities for the interoperability between domains in distributed environments. Interoperab...
ISICT
2003
13 years 8 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...
CCS
2008
ACM
13 years 8 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
CSFW
2009
IEEE
14 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...