156
click to vote
CSFW
15 years 7 months ago
2003 IEEE 
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
128
click to vote
CSFW
15 years 7 months ago
2003 IEEE
We investigate a number of issues related to identity based authenticated key agreement protocols using the Weil or Tate pairings. These issues include how to make protocols effici...
123
click to vote
CSFW
15 years 7 months ago
2003 IEEE 
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
138
click to vote
CSFW
15 years 7 months ago
2003 IEEE 
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
112
click to vote
CSFW
15 years 7 months ago
2003 IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
|
Security Privacy