1790 search results - page 122 / 358 » On Privacy Models for RFID |
140
click to vote
ESORICS
2000
Springer
15 years 9 months ago
2000
Springer
We extend the logic and semantics of authorization due to Abadi, Lampson, et al. to support restricted delegation. Our formal model provides a simple interpretation for the variety...
149
click to vote
CCS
2008
ACM
15 years 7 months ago
2008
ACM
Usage control is a generalization of access control that also addresses how data is used after it is released. We present a formal model for different mechanisms that can enforce ...
119
Voted
CCS
2008
ACM
15 years 7 months ago
2008
ACM
We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the T...
112
click to vote
ISI
2006
Springer
15 years 5 months ago
2006
Springer
We address the problem of fairly distributing the cost of system-wide improvements to the security of a transportation infrastructure over the beneficiaries. We present a framework...
148
click to vote
CCS
2010
ACM
15 years 3 months ago
2010
ACM
We address the insecurity problem for cryptographic protocols, for an active intruder and a bounded number of sessions. The protocol steps are modeled as rigid Horn clauses, and t...