1302 search results - page 38 / 261 » Soundness in the Public-Key Model |
122
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
140
click to vote
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
114
click to vote
JCS
2010
15 years 12 days ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
115
click to vote
TASLP
2008
15 years 1 months ago
2008
We present a computer audition system that can both annotate novel audio tracks with semantically meaningful words and retrieve relevant tracks from a database of unlabeled audio c...
120
click to vote
WETICE
1998
IEEE
15 years 6 months ago
1998
IEEE
Much work is going into securing the public key infrastructure (PKI). Various models for trust exist; Pretty Good Privacy (PGP) and the Progressive-Constraint Trust model are exam...