2432 search results - page 8 / 487 » Cryptographic logical relations |
152
Voted
EUSFLAT
2009
15 years 5 months ago
2009
231
click to vote
ACSAC
2005
IEEE
16 years 1 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...
207
click to vote
HICSS
2005
IEEE
16 years 1 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...
207
Voted
LPAR
2005
Springer
16 years 27 days 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...