5488 search results - page 3 / 1098 » On the Secure Implementation of Security Protocols |
ISCIS
2003
Springer
14 years 21 days ago
2003
Springer
In this paper, we describe a secure group communication protocol for a fault-tolerant synchronous ring. Our protocol, named Secure Synchronous Ring Protocol (SSRP), integrates a se...
ISICT
2003
13 years 9 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...
ICDCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
We describe reference implementations for selected configurations of the user authentication protocol defined by the Information Card
IFIP
2009
Springer
13 years 5 months ago
2009
Springer
Security protocols are crucial to achieve trusted computing. However, designing security protocols is not easy and so security protocols are typically faulty and have to be repaire...