Sciweavers

5119 search results - page 119 / 1024
» Security Privacy
Sort
View
91
Voted
CCS
2004
ACM
15 years 7 months ago
Synthesising verified access control systems in XACML
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
101
Voted
CSFW
2004
IEEE
15 years 7 months ago
Abstraction and Refinement in Protocol Derivation
Anupam Datta, Ante Derek, John C. Mitchell, Dusko ...
CCS
2006
ACM
15 years 7 months ago
Measuring intrusion detection capability: an information-theoretic approach
Guofei Gu, Prahlad Fogla, David Dagon, Wenke Lee, ...
CCS
2006
ACM
15 years 7 months ago
Addressing the shortcomings of one-way chains
Roberto Di Pietro, Luigi V. Mancini, Antonio Duran...
CCS
2006
ACM
15 years 7 months ago
NETRA: : seeing through access control
Prasad Naldurg, Stefan Schwoon, Sriram K. Rajamani...