741 search results - page 18 / 149 » Verification of security protocols using LOTOS-method and ap... |
ICS
2010
Tsinghua U.
15 years 9 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...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
117
click to vote
ICB
2009
Springer
14 years 9 months ago
2009
Springer
Biometric authentication over public networks leads to a variety of privacy issues that needs to be addressed before it can become popular. The primary concerns are that the biomet...
ASIACRYPT
2009
Springer
15 years 6 months ago
2009
Springer
We present a new construction of non-committing encryption schemes. Unlike the previous constructions of Canetti et al. (STOC ’96) and of Damg˚ard and Nielsen (Crypto ’00), ou...
126
click to vote
CSFW
2012
IEEE
13 years 2 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...