Encoding information flow in Haskell

Proceedings of the Computer Security Foundations Workshop

Volumn 2006, Issue , 2006, Pages 5-16

  Li, Peng ^a   Zdancewic, Steve ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; DATA FLOW ANALYSIS; SECURITY OF DATA;

EMBEDDED SECURITY SUBLANGUAGES; HASKELL PROGRAMMING LANGUAGE; SECURITY POLICY; STANDARD COMBINATOR INTERFACES;

ENCODING (SYMBOLS);

EID: 33947630856     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2006.13     Document Type: Conference Paper

References (17)

1. The Glasgow Haskell Compiler, http://www.haskell.org/ghc.
2. Martín Abadi, Anindya Banerjee, Nevin Heintze, and Jon Riecke. A core calculus of dependency. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 147-160, San Antonio, TX, January 1999.
3. Roderick Chapman and Adrian Hilton. Enforcing security and safety models with an information flow analysis tool. ACM SIGAda Ada Letters, XXIV(4):39-46, 2004.
4. Andrew C. Myers et. al. Jif: Java information flow. Software release. Located at http://www.cs.cornell.edu/jif.
5. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
6. Andrew C. Myers. JFlow: Practical mostly-static information flow control. In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL), pages 228-241, San Antonio, TX, January 1999.
7. Andrew C. Myers and Barbara Liskov. Protecting privacy using the decentralized label model. ACM Transactions on Software Engineering and Methodology, 9(4):410-442, 2000.
8. Ross Paterson. A new notation for arrows. In International Conference on Functional Programming, pages 229-240. ACM Press, September 2001.
9. Ross Paterson. Arrows and computation. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, pages 201-222. Palgrave, 2003.
10. François Pottier and Vincent Simonet. Information flow inference for ML. In Proc. 29th ACM Symp. on Principles of Programming Languages (POPL), Portland, Oregon, January 2002.
11. Andrei Sabelfeld and Andrew C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1):5-19, January 2003.
12. Andrei Sabelfeld and David Sands. Dimensions and principles of declassification. In Proceedings of the 18th IEEE Computer Security Foundations Workshop (CSFW'05), pages 255-269, 2005.
13. Vincent Simonet. Flow Caml in a nutshell. In Graham Hutton, editor, Proceedings of the first APPSEM-II workshop, pages 152-165, Nottingham, United Kingdom, March 2003.
14. Stephen Tse and Steve Zdancewic. Run-time Principals in Information-flow Type Systems. In Proc. IEEE Symposium on Security and Privacy, 2004.
15. Stephen Tse and Steve Zdancewic. Translating Dependency into Parametricity. In ACM International Conference on Functional Programming, 2004.
16. Dennis Volpano, Geoffrey Smith, and Cynthia Irvine. A sound type system for secure flow analysis. Journal of Computer Security, 4(3): 167-187, 1996.
17. Lantian Zheng and Andrew C. Myers. Dynamic security labels and noninterference. In Proceedings of the Second Workshop on Formal Aspects in Security and Trust (FAST2004), 2004.