219 search results - page 24 / 44 » Browser Model for Security Analysis of Browser-Based Protoco... |
99
Voted
CCS
2009
ACM
15 years 4 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, ...
CADE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
88
Voted
FOSAD
2000
Springer
15 years 3 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
134
Voted
ACSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...