Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 180-196
- https://doi.org/10.1007/11693024_13
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Security-Typed Languages for Implementation of Cryptographic Protocols: A Case StudyPublished by Springer Nature ,2005
- A Design for a Security-Typed Language with Certificate-Based DeclassificationPublished by Springer Nature ,2005
- Dynamic Security Labels and Noninterference (Extended Abstract)Published by Springer Nature ,2005
- Stack-based access control and secure information flowJournal of Functional Programming, 2005
- Security policies for downgradingPublished by Association for Computing Machinery (ACM) ,2004
- Controlled Declassification Based on Intransitive NoninterferencePublished by Springer Nature ,2004
- Language-based information-flow securityIEEE Journal on Selected Areas in Communications, 2003
- Protecting privacy using the decentralized label modelACM Transactions on Software Engineering and Methodology, 2000
- A core calculus of dependencyPublished by Association for Computing Machinery (ACM) ,1999
- Certification of programs for secure information flowCommunications of the ACM, 1977