Search results for "declassification policies"

Found 12 publication records. Showing 12 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Jeffrey A. Vaughan, Stephen Chong	Inference of Expressive Declassification Policies.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	declassification policies, inference of security policies, information flow, language-based security
2	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
2	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
1	Isabella Mastroeni, Anindya Banerjee	Modelling declassification policies using abstract domain completeness.	Mathematical Structures in Computer Science	2011	DBLP DOI BibTeX RDF
1	Adedayo Adetoye, Atta Badii	A Policy Model for Secure Information Flow.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Alejandro Russo, Koen Claessen, John Hughes	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
1	Stephen Chong, Andrew C. Myers	End-to-End Enforcement of Erasure and Declassification.	CSF	2008	DBLP DOI BibTeX RDF	Erasure, Expressive security policies, Information flow, Language-based security, Noninterference, Declassification
1	Yûta Kaneko, Naoki Kobayashi	Linear Declassification.	ESOP	2008	DBLP DOI BibTeX RDF
1	Anindya Banerjee, Roberto Giacobazzi, Isabella Mastroeni	What You Lose is What You Leak: Information Leakage in Declassification Policies.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Aslan Askarov, Andrei Sabelfeld	Localized delimited release: combining the what and where dimensions of information release.	PLAS	2007	DBLP DOI BibTeX RDF	de-classification, information flow, security policies, noninterference, downgrading
1	Aslan Askarov, Andrei Sabelfeld	Gradual Release: Unifying Declassification, Encryption and Key Release Policies.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Stephen Chong, Andrew C. Myers	Language-Based Information Erasure.	CSFW	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #12 of 12 (100 per page; Change: )