576 search results - page 62 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
ATAL
2010
Springer
13 years 10 months ago
2010
Springer
Recent work has applied game-theoretic models to real-world security problems at the Los Angeles International Airport (LAX) and Federal Air Marshals Service (FAMS). The analysis o...
JCM
2006
13 years 8 months ago
2006
RFID tags will exist pervasively in our daily life in a near future. In RFID systems, privacy and security are of critical importance to avoid potential tracking abuse and privacy ...
JUCS
2007
13 years 8 months ago
2007
At Eurocrypt 2005, Boneh, Boyen and Goh presented a constant size ciphertext hierarchical identity based encryption (HIBE) protocol. Our main contribution is to present a variant ...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Security protocols use cryptography to set up private communication channels on an insecure network. Many protocols contain flaws, and because security goals are seldom specified ...
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...