343 search results - page 6 / 69 » Formal security analysis of PKCS |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
A simple type confusion attack occurs in a security protocol, when a principal interprets data of one type as data of another. These attacks can be successfully prevented by \taggi...
ECBS
2008
IEEE
14 years 3 months ago
2008
IEEE
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
ACSW
2006
13 years 10 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
SEKE
2005
Springer
14 years 2 months ago
2005
Springer
