860 search results - page 12 / 172 » Uncovering Attacks on Security Protocols |
FC
2010
Springer
15 years 1 months ago
2010
Springer
A key way in which banks mitigate the effects of phishing is to remove fraudulent websites or suspend abusive domain names. This ‘take-down’ is often subcontracted to special...
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
We study formal security properties of a state-of-the-art protocol for secure file sharing on untrusted storage, in the automatic protocol verifier ProVerif. As far as we know, ...
ISCC
2002
IEEE
15 years 2 months ago
2002
IEEE
JISE
2006
14 years 9 months ago
2006
ISECS
2008
IEEE
15 years 4 months ago
2008
IEEE
Buyer-seller watermarking protocols incorporate digital watermarking with cryptography, in order to protect digital copyrights and privacy rights for the seller and the buyer befo...