3811 search results - page 339 / 763 » The Safe-Tcl Security Model |
201
click to vote
JOC
2011
14 years 9 months ago
2011
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
201
click to vote
CSFW
2011
IEEE
14 years 6 months ago
2011
IEEE
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
202
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...
166
click to vote
NSDI
2008
15 years 9 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
198
click to vote
ACSW
2003
15 years 8 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...