2043 search results - page 100 / 409 » Reasoning About Security Models |
141
Voted
IMA
2005
Springer
15 years 6 months ago
2005
Springer
In recent years cryptographic protocols based on the Weil and Tate pairings on elliptic curves have attracted much attention. A notable success in this area was the elegant solutio...
117
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
107
Voted
JCS
2010
14 years 11 months ago
2010
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
122
click to vote
CLIMA
2009
14 years 10 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
92
Voted
ICS
2010
Tsinghua U.
15 years 10 months ago
2010
Tsinghua U.
: We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resu...