1059 search results - page 23 / 212 » Modeling Security Protocols as Games |
114
Voted
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
123
Voted
TPHOL
2009
IEEE
15 years 7 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
100
Voted
FUIN
2007
15 years 18 days ago
2007
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
116
Voted
CORR
2006
Springer
15 years 20 days ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
121
Voted
PERCOM
2004
ACM
16 years 7 days ago
2004
ACM
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...