216 search results - page 33 / 44 » Models and Proofs of Protocol Security: A Progress Report |
NAR
2006
13 years 7 months ago
2006
10 The RCSB Protein Data Bank (PDB) offers online tools, summary reports and target information related to the worldwide structural genomics initiatives from its portal at http://...
CRYPTO
2009
Springer
14 years 1 months ago
2009
Springer
Most of the work in the analysis of cryptographic schemes is concentrated in abstract adversarial models that do not capture side-channel attacks. Such attacks exploit various for...
ASIACRYPT
2009
Springer
14 years 1 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
WETICE
1998
IEEE
13 years 11 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...
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...