An authorization logic with explicit time

Proceedings - IEEE Computer Security Foundations Symposium

Volumn , Issue , 2008, Pages 133-145

  DeYoung, Henry ^a   Garg, Deepak ^a   Pfenning, Frank ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX INTERACTIONS; COMPUTER SECURITY; CUT-ELIMINATION; HANDLING TIME;

FOUNDATIONS;

EID: 51749123374     PISSN: 19401434     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSF.2008.15     Document Type: Conference Paper

References (39)

1. M. Abadi. Access control in a core calculus of dependency. In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, pages 263-273, New York, NY, USA, 2006. ACM Press.
2. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languages and Systems, 15(4):706-734, 1993.
3. A. W. Appel and E. W. Felten. Proof-carrying authentication. In G. Tsudik, editor, Proceedings of the 6th Conference on Computer and Communications Security, pages 52-62, Singapore, November 1999. ACM Press.
4. L. Bauer. Access Control for the Web via Proof-Carrying Authorization. PhD thesis, Princeton University, November 2003.
5. L. Bauer, S. Garriss, J. M. McCune, M. K. Reiter, J. Rouse, and P. Rutenbar. Device-enabled authorization in the Grey system. In Information Security: 8th International Conference (ISC '05), Lecture Notes in Computer Science, pages 431-445, September 2005.
6. L. Bauer, S. Garriss, and M. K. Reiter. Distributed proving in access-control systems. In Proceedings of the 2005 Symposium on Security and Privacy, pages 81-95, May 2005.
7. M. Y. Becker, C. Fournet, and A. D. Gordon. Design and semantics of a decentralized authorization language. In 20th IEEE Computer Security Foundations Symposium, pages 3-15, 2007.
8. M. Y Becker and P. Sewell. Cassandra: Flexible trust management applied to health records. In Proceedings of IEEE Computer Security Foundations Workshop, pages 139-154, 2004.
9. E. Bertino, B. Catania, E. Ferrari, and P. Perlasca. A logical framework for reasoning about access control models. ACM Trans. Inf. Syst. Secur, 6(1):71-127, 2003.
10. K. D. Bowers, L. Bauer, D. Garg, F. Pfenning, and M. K. Reiter. Consumable credentials in logic-based access-control systems. In Proceedings of the 14th Annual Network and Distributed System Security Symposium (NDSS '07), San Diego, California, February 2007.
11. T. Braüner and V. de Paiva. Towards constructive hybrid logic. In Electronic Proceedings of Methods for Modalities 3 (M4M3), 2003.
12. J. G. Cederquist, R. Corin, M. A. C. Dekker, S. Etalle, J. I. den Hartog, and G. Lenzini. Audit-based compliance control. Int. J. Inf. Secur., 6(2):133-151, 2007.
13. B.-Y. E. Chang, K. Chaudhuri, and R Pfenning. A judgmental analysis of linear logic. Technical Report CMU-CS-03-131R, Carnegie Mellon University, 2003.
14. J. DeTreville. Binder, a logic-based security language. In M. Abadi and S. Bellovin, editors, Proceedings of the 2002 Symposium on Security and Privacy (S&P'02), pages 105-113, Berkeley, California, May 2002. IEEE Computer Society Press.
15. H. DeYoung, D. Garg, and E Pfenning. An authorization logic with explicit time. Technical Report CMU-CS-07-166, Computer Science Department, Carnegie Mellon University, December 2007.
16. E. A. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science. The MIT Press, 1990.
17. M. Fairtlough and M. Mendler. Prepositional lax logic. Information and Computation, 137(1):1-33, Aug. 1997.
18. T. Frühwirth. Temporal annotated constraint logic programming. Journal of Symbolic Computation, 22(5-6):555-583, 1996.
19. D. Garg, L. Bauer, K. Bowers, R Pfenning, and M. Reiter. A linear logic of affirmation and knowledge. In D. Gollman, J. Meier, and A. Sabelfeld, editors, Proceedings of the 11th European Symposium on Research in Computer Security (ESORICS '06), pages 297-312, Hamburg, Germany, September 2006. Springer LNCS 4189.
20. D. Garg and R Pfenning. Non-interference in constructive authorization logic. In J. Guttman, editor, Proceedings of the 19th Computer Security Foundations Workshop (CSFW '06), pages 283-293, Venice, Italy, July 2006. IEEE Computer Society Press.
21. G. Gentzen. Untersuchungenüber das logische Schließen. Mathematische Zeitschrift, 39:176-210, 405-431, 1935.
22. English translation in M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68-131, North-Holland, 1969.
23. J.-Y Girard. Linear logic. Theoretical Computer Science, 50:1-102, 1987.
24. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503-581, 1994.
25. L. Jia. Linear Logic and Imperative Programming. PhD thesis, Department of Computer Science, Princeton University, November 2007.
26. T. Jim. SD3: A trust management system with certified evaluation. In Proceedings of IEEE Symposium on Security and Privacy, 2001.
27. M. I. Kanovich, M. Okada, and A. Scedrov. Specifying realtime finite-state systems in linear logic. In 2nd International Workshop on Constraint Programming for Time-Critical Applications and Multi-Agent Systems (COTIC '98), volume 16 of Electronic Notes in Theoretical Computer Science, pages 42-59, Nice, France, September 1998.
28. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
29. C. Lesniewski-Laas, B. Ford, J. Strauss, M. F. Kaashoek, and R. Morris. Alpaca: extensible authorization for distributed services. In 14th ACM Conference on Computer and Communications Security, 2007. To appear.
30. N. Li, B. N. Grosof, and J. Feigenbaum. Delegation logic: A logic-based approach to distributed authorization. ACM Trans. Inf. Syst. Secur, 6(1):128-171, 2003.
31. N. Li and J. C. Mitchell. Datalog with constraints: A foundation for trust management languages. In PADL '03: Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages, pages 58-73. Springer-Verlag, 2003.
32. N. Li, J. C. Mitchell, and W. Winsborough. Design of arolebased trust-management framework. In Proceedings of the 2002 IEEE Symposium on Security and Privacy, pages 114-130, 2002.
33. P. Martin-Löf. On the meanings of the logical constants and the justifications of the logical laws. Nordic Journal of Philosophical Logic, 1(1):11-60, 1996.
34. B. Moszkowski and Z. Manna. Reasoning in interval temporal logic. In E. Clarke and D. Kozen, editors, Proceedings of the Workshop on Logics of Programs, volume 164 of Lecture Notes in Computer Science, pages 371-382. Springer Verlag, June 1983.
35. F. Pfenning and R. Davies. A judgmental reconstruction of modal logic. Mathematical Structures in Computer Science, 11:511-540, 2001.
36. A. Pimlott and O. Kiselyov. Soutei, a logic based trustmanagement system. In Proceedings of the Eighth International Symposium on Functional and Logic Programming, 2006.
37. J. Reed. Hybridizing a logical framework. In International Workshop on Hybrid Logic 2006 (HyLo 2006), Electronic Notes in Computer Science, August 2006.
38. U. Saranli and F. Pfenning. Using constrained intuitionistic linear logic for hybrid robotic planning problems. In Proceedings of the International Conference on Robotics and Automation (ICRA '07), Rome, Italy, April 2007. IEEE Computer Society Press.
39. J. A. Vaughan, L. Jia, K. Mazurak, and S. Zdancewic. Evidence-based audit. In Proceedings of the 21st IEEE Symposium on Computer Security Foundations, 2008.