A systematic approach to static access control

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

Volumn 2028, Issue , 2001, Pages 30-45

  Pottier, François ^a   Skalka, Christian ^b   Smith, Scott ^b  

^a INRIA ROCQUENCOURT   (France)

^b JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DYNAMIC MECHANISM; IMPLEMENTATION TECHNIQUES; SECURITY ARCHITECTURE; STACK INSPECTION; STATIC ACCESS CONTROL; STATIC SECURITY; SYSTEMATIC METHODOLOGY; TYPE SYSTEMS;

ACCESS CONTROL;

EID: 84945270736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45309-1_3     Document Type: Conference Paper

References (14)

1. Alexander S. Aiken, Edward L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Principles of Programming Languages, pages 163-173, January 1994. URL: http://http.cs.berkeley.edu/~aiken/ftp/popl94.ps.
2. Li Gong. Java security architecture (JDK1.2). URLhttp://java.sun.eom/products/jdk/1.2/docs/guide/security/spec/ security-spec.doc.html, October 1998.
3. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. Theory and Practice of Object Systems, 5(1):35-55, 1999. URL: http://www.cs.mu.oz.au/~sulzmann/publications/tapos.ps.
4. Francois Pottier. A 3-part type inference engine. In Gert Smolka, editor, Proceedings of the 2000 European Symposium on Programming (ESOP’00), volume 1782 of Lecture Notes in Computer Science, pages 320-335. Springer Verlag, March 2000. URL: http://pauillac.inria.fr/ fpottier/publis/fpottier-esop-2000.ps.gz.
5. Francois Pottier and Sylvain Conchon. Information flow inference for free. In Proceedings of the the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP’00), pages 46-57, September 2000. URL: http://pauillac.inria.fr/fpottier/publis/fpottier-conchon-icfp00.ps.gz.
6. Didier Remy. Extending ML type system with a sorted equational theory. Technical Report 1766, INRIA, Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France, 1992. URL: ftp://ftp.inria.fr/INRIA/Projects/cristal/Didier.Remy/eq-theory-on-types.ps.gz.
7. Didier Remy. Projective ML. In 1992 ACM Conference on Lisp and Functional Programming, pages 66-75, New-York, 1992. ACM Press. URL: ftp://ftp.inria.fr/INRIA/Projects/cristal/ Didier.Remy/lfp92.ps.gz.
8. Christian Skalka and Scott Smith. Static enforcement of security with types. In Proceedings of the the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP’00), pages 34-45, Montral, Canada, September 2000. URL: http://www.cs.jhu.edu/~ces/papers/sectyicfp2000.ps.gz.
9. Martin Sulzmann, Martin Muller, and Christoph Zenger. Hindley/Milner style type systems in constraint form. Research Report ACRC-99-009, University of South Australia, School of Computer and Information Science, July 1999. URL: http://www.ps.uni-sb.de/~mmueller/papers/hm-constraints.ps.gz.
10. Peter Thiemann. Enforcing security properties using type specialization. In David Sands, editor, Proceedings of the 2001 European Symposium on Programming (ES0P’01), Lecture Notes in Computer Science. Springer Verlag, April 2001.
11. Philip Wadler and Peter Thiemann. The marriage of effects and monads. Submitted to ACM Transactions on Computational Logic. URL: http://cm.bell-labs.com/cm/cs/who/wadler/papers/ effectstocl/effectstocl.ps.gz.
12. David Walker. A type system for expressive security policies. In Conference Record of POPL’00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 254-267, Boston, Massachusetts, January 2000. URL: http://www.cs.cornell.edu/home/walker/papers/sa-popl00ps.gz.
13. Dan S. Wallach. A New Approach to Mobile Code Security. PhD thesis, Princeton University, January 1999. URL: http://www.cs.princeton.edu/sip/pub/dwallach-dissertation.html.
14. Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, November 1994. URL: http://www.cs.rice.edu/CS/PLT/Publications/ic94-wf.ps.gz.