526 search results - page 58 / 106 » A Z Based Approach to Verifying Security Protocols |
WETICE
1998
IEEE
13 years 12 months ago
1998
IEEE
Much work is going into securing the public key infrastructure (PKI). Various models for trust exist; Pretty Good Privacy (PGP) and the Progressive-Constraint Trust model are exam...
ACSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Traditionally, creation and revocation of certificates are performed manually, by trusted agents, under conditions that are rarely formalized. This approach to certificate managem...
PET
2012
Springer
11 years 10 months ago
2012
Springer
It is widely accepted that Disclosure Attacks are effective against high-latency anonymous communication systems. A number of Disclosure Attack variants can be found in the litera...
ESAS
2007
Springer
13 years 11 months ago
2007
Springer
Secure communication over wireless channels necessitates authentication of communication partners to prevent man-in-the-middle attacks. For spontaneous interaction between independ...
CSFW
2012
IEEE
11 years 10 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...