Search Sciweavers | Sciweavers

5119 search results - page 119 / 1024

» Security Privacy

115

click to vote

CCS
2004
ACM

70views Security Privacy» more CCS 2004»

Synthesising verified access control systems in XACML

15 years 10 months ago

Download www.cs.bham.ac.uk

Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev

claim paper

Read More »

136

click to vote

CSFW
2004
IEEE

137views Security Privacy» more CSFW 2004»

Abstraction and Refinement in Protocol Derivation

15 years 10 months ago

Download www.andrew.cmu.edu

Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...

claim paper

Read More »

128

click to vote

CCS
2006
ACM

105views Security Privacy» more CCS 2006»

Measuring intrusion detection capability: an information-theoretic approach

15 years 10 months ago

Download faculty.cs.tamu.edu

Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, ...

claim paper

Read More »

114

click to vote

CCS
2006
ACM

102views Security Privacy» more CCS 2006»

Addressing the shortcomings of one-way chains

15 years 10 months ago

Download www.dsi.uniroma1.it

Roberto Di Pietro, Luigi V. Mancini, Antonio Duran...

claim paper

Read More »

111

click to vote

CCS
2006
ACM

93views Security Privacy» more CCS 2006»

NETRA: : seeing through access control

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers