21 search results - page 5 / 5 » Automated Verification of Communication Protocols Using CCS ... |
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Identity theft has fostered to a major security problem on the Internet, in particular stealing passwords for web applications through phishing and malware. We present TruWallet, ...