Soutei, a logic-based trust-management system system description

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3945 LNCS, Issue , 2006, Pages 130-145

  Pimlott, Andrew ^a   Kiselyov, Oleg ^b  

^a PLANNING SYSTEMS INC   (United States)

^b Fleet Numerical Meteorology and Oceanography Center   (United States)

Author keywords

Access control; Backtracking; Datalog; Haskell; Logic Programming; Non determinism; Security Language

Indexed keywords

ACCESS CONTROL; BACKTRACKING; CONDITIONAL DELEGATION; DATLOGS; HASKELL; NON-DETERMINISM; SECURITY LANGUAGES;

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; DATA ACQUISITION; DISTRIBUTED COMPUTER SYSTEMS; LOGIC DESIGN; LOGIC PROGRAMMING; SOFTWARE PROTOTYPING;

INFORMATION MANAGEMENT;

EID: 33745830075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_10     Document Type: Conference Paper

References (24)

1. ABADI, M. Logic in access control. In LICS [16], pp. 228-233.
2. BLAZE, M. Using the KeyNote Trust Management System. http://www.crypto.com/trustmgt/, Mar. 2001.
3. BLAZE, M., FEIGENBAUM, J., AND LACY, J. Decentralized trust management. In IEEE Symposium on Security and Privacy (May 1996).
4. BRUSCOLI, P., AND GUGLIELMI, A. A tutorial on proof theoretic foundations of logic programming. In ICLP (2003), C. Palamidessi, Ed., vol. 2916 of Lecture Notes in Computer Science, Springer, pp. 109-127.
5. CHISHOLM, P. IA roadmap. Military Information Technology 9, 5 (25 July 2005).
6. CLAESSEN, K., AND LJUNGLÖF, P. Typed logical variables in haskell. Electr. Notes Theor. Comput. Sci. 41, 1 (2000).
7. DETREVILLE, J. Binder, a logic-based security language. In IEEE Symposium on Security and Privacy (2002), pp. 105-113.
8. FISLER, K., KRISHNAMURTHI, S., MEYEROVICH, L. A., AND TSCHANTZ, M. C. Verification and change impact analysis of access-control policies. In International Conference on Software Engineering (May 2005).
9. GARG, D., AND PFENNING, F. Non-interference in constructive authorization logic. Submitted for publication, Oct. 2005.
10. HINZE, R. Deriving backtracking monad transformers. In ICFP '00: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (2000), ACM Press, pp. 186-197.
11. A declarative applicative logic programming system, http://kanren.sourceforge.net/, 2005.
12. KISELYOV, O. Metcast Channels. http://www.metnet.navy.mil/Metcast/Metcast-Channels.html, Feb. 2003. The working server with Soutei Authorization can be accessed via http://www.metnet.navy.mil/cgi-bin/oleg/server.
13. KISELYOV, O. Soutei: syntax, semantics, and use cases, http://www.metnet.navy.mil/Metcast/Auth-use-cases.html, 13 June 2005.
14. KISELYOV, O., SHAN, C., FRIEDMAN, D. P., AND SABRY, A. Backtracking, interleaving, and terminating monad transformers. In ICFP '05: ACM SIGPLAN International Conference on Functional Programming (2005), ACM Press.
15. LI, N., AND MITCHELL, J. C. Datalog with constraints: A foundation for trust management languages. In PADL (2003), V. Dahl and P. Wadler, Eds., vol. 2562 of Lecture Notes in Computer Science, Springer, pp. 58-73.
16. 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings (2003), IEEE Computer Society.
17. MILLER, D., AND TIU, A. F. A proof theory for generic judgments: An extended abstract. In LICS [16], pp. 118-127.
18. SERES, S., AND SPIVEY, J. M. Embedding Prolog in Haskell. In Proceedings of the 1999 Haskell Workshop (1999), E. Meier, Ed., Tech. Rep. UU-CS-1999-28, Department of Computer Science, Utrecht University.
19. SINGER, A. Life without firewalls. USENIX ;login: 28, 6 (Dec. 2003), 34-41.
20. SOMOGYI, Z., HENDERSON, F., AND CONWAY, T. The execution algorithm of Mercury, an efficient purely declarative logic programming language. J. Log. Program. 29, 1-3 (1996), 17-64.
21. WADLER, P. How to replace failure by a list of successes: A method for exception handling, backtracking, and pattern matching in lazy functional languages. In FPCA (1985), pp. 113-128.
22. WESTERINEN, A., SCHNIZLEIN, J., STRASSNER, J., SCHERLING, M., QUINN, B., HERZOG, S., HUYNH, A., CARLSON, M., PERRY, J., AND WALDBUSSER, S. Terminology for policy-based management. RFC 3198, Nov. 2001.
23. WOOL, A. A quantitative study of firewall configuration errors. IEEE Computer 37, 6 (2004), 62-67.
24. OASIS eXtensible Access Control Markup Language (XACML). Version 2.0. http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=xacml, Feb. 2005.