Semantics and enforcement of expressive information flow policies

Authors:
Anindya Banerjee
Affiliations:
IMDEA Software, Madrid, Spain
Venue:
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
Year:
2009

Citing 7
Cited 0

JFlow: practical mostly-static information flow control

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simple relational correctness proofs for static analyses and program transformations

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Security policies for downgrading

Proceedings of the 11th ACM conference on Computer and communications security
A logic for information flow in object-oriented programs

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Gradual Release: Unifying Declassification, Encryption and Key Release Policies

SP '07 Proceedings of the 2007 IEEE Symposium on Security and Privacy
Expressive Declassification Policies and Modular Static Enforcement

SP '08 Proceedings of the 2008 IEEE Symposium on Security and Privacy
Regional Logic for Local Reasoning about Global Invariants

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The following is intended as an overview of my invited talk at the 2009 FAST workshop. The primary reference for this work remains the earlier paper [4] that contains the necessary technical details, motivating examples and commentary on particular design choices.