Search Sciweavers | Sciweavers

14850 search results - page 111 / 2970

» The Security of

140

click to vote

CCS
2007
ACM

98views Security Privacy» more CCS 2007»

Addressing interoperability issues in access control models

16 years 16 days ago

Download www.dsi.uniroma1.it

Vishwas Patil, Alessandro Mei, Luigi V. Mancini

claim paper

Read More »

136

click to vote

CCS
2007
ACM

94views Security Privacy» more CCS 2007»

Selecting theories and nonce generation for recursive protocols

16 years 16 days ago

Download www.informatik.uni-kiel.de

Klaas Ole Kürtz, Ralf Küsters, Thomas Wi...

claim paper

Read More »

107

click to vote

ESORICS
2007
Springer

83views Security Privacy» more ESORICS 2007»

Inductive Proofs of Computational Secrecy

16 years 15 days ago

Download www.cs.cmu.edu

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...

claim paper

Read More »

click to vote

EUROPKI
2007
Springer

106views Security Privacy» more EUROPKI 2007»

An Interdomain PKI Model Based on Trust Lists

16 years 15 days ago

Download dmi.uib.es

Helena Rifà-Pous, Jordi Herrera-Joancomart&...

claim paper

Read More »

164

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

16 years 13 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers