Sciweavers

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