2043 search results - page 204 / 409 » Reasoning About Security Models |
151
click to vote
ESORICS
2009
Springer
16 years 6 months ago
2009
Springer
Authenticated dictionaries allow users to send lookup requests to an untrusted server and get authenticated answers. Persistent authenticated dictionaries (PADs) add queries agains...
118
click to vote
ACSAC
2008
IEEE
16 years 21 days ago
2008
IEEE
We present and evaluate various methods for purely automated attacks against click-based graphical passwords. Our purely automated methods combine click-order heuristics with focu...
148
click to vote
ISI
2007
Springer
16 years 10 days ago
2007
Springer
— In this paper we define a new metric for quantifying the degree of anonymity collectively afforded to users of an anonymous communication system. We show how our metric, based...
133
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
136
Voted
CCS
2007
ACM
15 years 10 months ago
2007
ACM
The problem of key management for access control systems has been well-studied, and the literature contains several schemes for hierarchy-based and temporal-based access control. ...