Binder, a logic-based security language

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 2002, Pages 105-113

  DeTreville, John ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STRUCTURES; DECISION MAKING; ENCODING (SYMBOLS); LOGIC PROGRAMMING;

ACCESS CONTROL; LOGIC-BASED SECURITY LANGUAGE;

SECURITY OF DATA;

EID: 0036083264     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1109/SECPRI.2002.1004365     Document Type: Article

References (17)

1. Prudent engineering practices for cryptographic protocols
2. On SDSI's linked local name spaces
3. Proof-carrying authentication
4. Decentralized trust management
5. SPKI certificate theory
6. A logic for SDSI's linked local name spaces
7. The directory: Public-key and attribute certificate frameworks
8. SD3: A trust management system with certified evaluation
9. A practically implementable and tractable delegation logic
10. Nonmonotonic logic I
11. SDSI - a simple distributed security infrastructure