103 search results - page 1 / 21 » Verified Interoperable Implementations of Security Protocols |
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
P2P
2008
IEEE
14 years 5 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
14 years 8 days 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
14 years 27 days 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 5 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 ...