Binder, a logic-based security language

Proceedings - IEEE Symposium on Security and Privacy

Volumn 2002-January, Issue , 2002, Pages 105-113

  DeTreville, J ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Access control; Advertising; Buildings; Certification; Data privacy; Data security; Data structures; Databases; Logic; Permission

Indexed keywords

ACCESS CONTROL; BINDERS; BINS; BUILDINGS; DATA PRIVACY; DATA STRUCTURES; DATABASE SYSTEMS; ENCODING (SYMBOLS); LOGIC PROGRAMMING; MARKETING; SECURITY OF DATA;

CERTIFICATION; DISTRIBUTED SYSTEMS; LOGIC; LOGIC PROGRAMS; OPEN LOGIC; PERMISSION; X.509 CERTIFICATES;

COMPUTATIONAL LINGUISTICS;

EID: 84867167943     PISSN: 10816011     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECPRI.2002.1004365     Document Type: Conference Paper

References (17)

1. M. Abadi and R. Needham. 1996. "Prudent engineering practices for cryptographic protocols," IEEE Transactions on Software Engineering, January 1996, pp. 6-15.
2. th IEEE Computer Security Foundations Workshop, Rockport, Mass., June 1997, pp. 98-108.
3. th ACM Conference on Computer and Communications Security, Singapore, November 1999, pp. 52-62.
4. th IEEE Symposium on Security and Privacy, Oakland, Calif., May 1996, pp. 164-173.
5. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. Keromyrtis. "The KeyNote Trust Management System Version 2," IETF RFC 2704, September 1999.
6. rd ed.), Springer-Verlag, 1987.
7. ContentGuard, Inc., eXtensible rights Markup Language (XrML) 2.0 Specification, available at http://www.xrml.org.
8. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas, and T. Ylonen, "SPKI certificate theory," IETF Network Working Group RFC 1693, September 1999.
9. P. Gutmann, "X.509 style guide," available at http://www.cs.auckland.ac.nz/~pgut001/pubs/x509guide.txt, October 2000.
10. th IEEE Computer Security Foundations Workshop, 1999, pp. 111-122.
11. Iannella, R., editor, Open Digital Rights Language (ODRL), available at http://odrl.net.
12. ITU-T Recommendation X.509, "The directory: public-key and attribute certificate frameworks," March 2000.
13. nd IEEE Symposium on Security and Privacy, Oakland, Calif., May 2001.
14. st IEEE Symposium on Security and Privacy, Oakland, Calif., May 2000, pp. 27-42.
15. D. McDermott and J. Doyle, "Nonmonotonic logic I," Artificial Intelligence, 1980, pp. 41-72.
16. R. Rivest and B. Lampson, "SDSI - a simple distributed security infrastructure," available at http://theory.lcs.mit.edu/~cis/sdsi.html.
17. J. Ullman, Database and Knowledge-Base Systems, volume 2, Computer Science Press, Rockville, Maryland, 1989.