2432 search results - page 8 / 487 » Cryptographic logical relations |
EUSFLAT
2009
14 years 7 months ago
2009
EUSFLAT
2009
14 years 7 months ago
2009
115
click to vote
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
LPAR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...