Sciweavers

14850 search results - page 111 / 2970
» The Security of
Sort
View
CCS
2007
ACM
14 years 4 months ago
Addressing interoperability issues in access control models
Vishwas Patil, Alessandro Mei, Luigi V. Mancini
CCS
2007
ACM
14 years 4 months ago
Selecting theories and nonce generation for recursive protocols
Klaas Ole Kürtz, Ralf Küsters, Thomas Wi...
ESORICS
2007
Springer
14 years 4 months ago
Inductive Proofs of Computational Secrecy
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...
EUROPKI
2007
Springer
14 years 4 months ago
An Interdomain PKI Model Based on Trust Lists
Helena Rifà-Pous, Jordi Herrera-Joancomart&...
WISTP
2007
Springer
14 years 4 months ago
An Information Flow Verifier for Small Embedded Systems
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...