Search results for "Declassification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Yûta Kaneko, Naoki Kobayashi 0001	Linear Declassification.	ESOP	2008	DBLP DOI BibTeX RDF
117	Boniface Hicks, Dave King 0002, Patrick D. McDaniel, Michael Hicks 0001	Trusted declassification: : high-level policy for a security-typed language.	PLAS	2006	DBLP DOI BibTeX RDF	noninterference modolo trusted methods, FJifP, Jif, security-typed languages, trusted declassification, security policy, information-flow control, declassification
112	Gilles Barthe, Salvador Cavadini, Tamara Rezk	Tractable Enforcement of Declassification Policies.	CSF	2008	DBLP DOI BibTeX RDF	type systems, declassification, information flow security
112	Roberto Giacobazzi, Isabella Mastroeni	Adjoining Declassification and Attack Models by Abstract Interpretation.	ESOP	2005	DBLP DOI BibTeX RDF	abstract non-interference, Abstract interpretation, completeness, language-based security, declassification, adjunction, attack models
96	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
90	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Towards a logical account of declassification.	PLAS	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
90	Aslan Askarov, Andrei Sabelfeld	Gradual Release: Unifying Declassification, Encryption and Key Release Policies.	S&P	2007	DBLP DOI BibTeX RDF
87	Andrei Sabelfeld, Andrew C. Myers	A Model for Delimited Information Release.	ISSS	2003	DBLP DOI BibTeX RDF	Computer security, information flow, security policies, confidentiality, noninterference, declassification, security-type systems
79	Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg	Expressive Declassification Policies and Modular Static Enforcement.	SP	2008	DBLP DOI BibTeX RDF	verification, information flow, declassification, downgrading
74	Heiko Mantel, Alexander Reinhard	Controlling the What and Where of Declassification in Language-Based Security.	ESOP	2007	DBLP DOI BibTeX RDF
74	Ana Almeida Matos, Gérard Boudol	On Declassification and the Non-Disclosure Policy.	CSFW	2005	DBLP DOI BibTeX RDF
74	Bernadette Power, Geoff W. Hamilton	Declassification: Transforming Java Programs to Remove Intermediate Classes.	SCAM	2005	DBLP DOI BibTeX RDF
74	Steve Zdancewic, Andrew C. Myers	Robust Declassification.	CSFW	2001	DBLP DOI BibTeX RDF
71	Isabella Mastroeni	On the Rôle of Abstract Non-interference in Language-Based Security.	APLAS	2005	DBLP DOI BibTeX RDF	Language-based Security, Non-Interference, Declassification
66	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
57	Andrei Sabelfeld, David Sands 0001	Dimensions and Principles of Declassification.	CSFW	2005	DBLP DOI BibTeX RDF
57	Stephen Tse, Steve Zdancewic	A Design for a Security-Typed Language with Certificate-Based Declassification.	ESOP	2005	DBLP DOI BibTeX RDF
57	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification.	CSFW	2004	DBLP DOI BibTeX RDF
54	Sruthi Bandhakavi, Charles C. Zhang, Marianne Winslett	Super-sticky and declassifiable release policies for flexible information dissemination control.	WPES	2006	DBLP DOI BibTeX RDF	release policies, privacy, declassification, sticky policies
54	Stephen Chong, Andrew C. Myers	Security policies for downgrading.	CCS	2004	DBLP DOI BibTeX RDF	information flow, security policies, noninterference, declassification, downgrading
46	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
41	Andrei Sabelfeld	Dimensions of Declassification in Theory and Practice.	ASIAN	2007	DBLP DOI BibTeX RDF
41	Li Jiang, Lingdi Ping, Xuezeng Pan	Combining robust declassification and intransitive noninterference.	IMSCCS	2007	DBLP DOI BibTeX RDF
38	Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld	A lattice-based approach to mashup security.	AsiaCCS	2010	DBLP DOI BibTeX RDF	web mashups, information flow, security policies, lattices, noninterference, declassification
38	Limin Jia 0001, Steve Zdancewic	Encoding information flow in Aura.	PLAS	2009	DBLP DOI BibTeX RDF	access control, information flow control, declassification, security type system, authorization logic
38	Niklas Broberg, David Sands 0001	Flow-sensitive semantics for dynamic information flow policies.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
38	Alejandro Russo, Koen Claessen, John Hughes 0001	A library for light-weight information-flow security in haskell.	Haskell	2008	DBLP DOI BibTeX RDF	information-flow, library, monad, declassification
38	Scott F. Smith 0001, Mark Thober	Refactoring programs to secure information flows.	PLAS	2006	DBLP DOI BibTeX RDF	refactoring, information flow, slicing, declassification
33	Yi Lu 0003, John Potter, Jingling Xue	Ownership Downgrading for Ownership Types.	APLAS	2009	DBLP DOI BibTeX RDF
33	Niklas Broberg, David Sands 0001	Improving the Semantics of Imperfect Security.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
33	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
33	Stephen Chong, Andrew C. Myers	Language-Based Information Erasure.	CSFW	2005	DBLP DOI BibTeX RDF
33	Tom Chothia, Dominic Duggan, Jan Vitek	Type-Based Distributed Access Control.	CSFW	2003	DBLP DOI BibTeX RDF
25	Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux	Declassification Policy for Program Complexity Analysis.	CoRR	2024	DBLP DOI BibTeX RDF
25	Jan Menz, Andrew K. Hirsch, Peixuan Li, Deepak Garg 0001	Compositional Security Definitions for Higher-Order Where Declassification.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
25	Wenfa Li, Zhi Yang, Jia Liu	Automatic analysis of DIFC systems using noninterference with declassification.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
25	Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker	ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification.	CoRR	2022	DBLP DOI BibTeX RDF
25	Graeme Smith 0001	Declassification Predicates for Controlled Information Release.	ICFEM	2022	DBLP DOI BibTeX RDF
25	Zhenheng Dong, Yongxin Zhao, Qiang Wang	An Information Flow Security Logic for Permission-Based Declassification Strategy.	SEKE	2022	DBLP DOI BibTeX RDF
25	Yuxuan Wang, Haowen Yan, Liming Zhang	A New Declassification Method for Vector Geographic Data.	CSW	2022	DBLP DOI BibTeX RDF
25	Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, James Parker	ANOSY: approximated knowledge synthesis with refinement types for declassification.	PLDI	2022	DBLP DOI BibTeX RDF
25	Johan Bay, Aslan Askarov	Reconciling progress-insensitive noninterference and declassification.	CoRR	2020	DBLP BibTeX RDF
25	Minh Ngo, David A. Naumann, Tamara Rezk	Type-Based Declassification for Free.	ICFEM	2020	DBLP DOI BibTeX RDF
25	Johan Bay, Aslan Askarov	Reconciling progress-insensitive noninterference and declassification.	CSF	2020	DBLP DOI BibTeX RDF
25	Wen Luo, Dongshuang Li, Zhaoyuan Yu, Yun Wang, Zhengjun Yan, Linwang Yuan	Geometric Algebra-Based Multilevel Declassification Method for Geographical Field Data.	CGI	2020	DBLP DOI BibTeX RDF
25	Matteo Busi 0001, Pierpaolo Degano, Letterio Galletta	Robust Declassification by Incremental Typing.	Foundations of Security, Protocols, and Equational Reasoning	2019	DBLP DOI BibTeX RDF
25	Thomas Bauereiß	Composition and Declassification in Possibilistic Information Flow Security. (PDF / PS)		2019	RDF
25	Hao Zhu, Jianping Chen	软件系统的可信降密述评 (Review of Trust Declassification for Software System).	计算机科学	2018	DBLP BibTeX RDF
25	Ning Xi 0002, Di Lu, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen	Distributed Secure Service Composition with Declassification in Mobile Clouds.	Mob. Inf. Syst.	2017	DBLP DOI BibTeX RDF
25	Willard Rafnsson, Andrei Sabelfeld	Secure multi-execution: Fine-grained, declassification-aware, and transparent.	J. Comput. Secur.	2016	DBLP DOI BibTeX RDF
25	Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif	Declassification of Information with Complex Filter Functions.	ICISSP	2016	DBLP DOI BibTeX RDF
25	Iulia Bolosteanu, Deepak Garg 0001	Asymmetric Secure Multi-execution with Declassification.	POST	2016	DBLP DOI BibTeX RDF
25	Simon Greiner, Daniel Grahl	Non-interference with What-Declassification in Component-Based Systems.	CSF	2016	DBLP DOI BibTeX RDF
25	Ning Xi 0002, Cong Sun 0001, Jianfeng Ma 0001, Yulong Shen, Di Lu	Distributed Secure Service Composition with Declassification in Mobile Network.	NaNA	2016	DBLP DOI BibTeX RDF
25	Bart van Delft, Richard Bubel	Dependency-Based Information Flow Analysis with Declassification in a Program Logic.	CoRR	2015	DBLP BibTeX RDF
25	Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson	Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.	CoRR	2015	DBLP BibTeX RDF
25	Li Jin, Hao Zhu	多线程环境中的二维降密策略 (Two-dimension Declassification Policy in Multithreaded Environments).	计算机科学	2015	DBLP BibTeX RDF
25	Li Jin, Hao Zhu	基于自动机监控的二维降密策略 (Declassification Policy Based on Automaton Monitoring).	计算机科学	2015	DBLP DOI BibTeX RDF
25	Kristopher K. Micinski, Jonathan Fetter-Degges, Jinseong Jeon, Jeffrey S. Foster, Michael R. Clarkson	Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution.	ESORICS (2)	2015	DBLP DOI BibTeX RDF
25	Sylvia Grewe, Alexander Lux, Heiko Mantel, Jens Sauer	A Formalization of Declassification with WHAT-and-WHERE-Security.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
25	Mathy Vanhoef, Willem De Groef, Dominique Devriese, Frank Piessens, Tamara Rezk	Stateful Declassification Policies for Event-Driven Programs.	CSF	2014	DBLP DOI BibTeX RDF
25	Bruno P. S. Rocha, Mauro Conti, Sandro Etalle, Bruno Crispo	Hybrid Static-Runtime Information Flow and Declassification Enforcement.	IEEE Trans. Inf. Forensics Secur.	2013	DBLP DOI BibTeX RDF
25	Willard Rafnsson, Andrei Sabelfeld	Secure Multi-execution: Fine-Grained, Declassification-Aware, and Transparent.	CSF	2013	DBLP DOI BibTeX RDF
25	Hao Zhu, Yi Zhuang 0002	Flow-Sensitive Automaton-Based Monitoring of a Declassification Policy.	J. Softw.	2012	DBLP DOI BibTeX RDF
25	Alexander Lux, Heiko Mantel, Matthias Perner	Scheduler-Independent Declassification.	MPC	2012	DBLP DOI BibTeX RDF
25	Eike Best, Philippe Darondeau	Deciding Selective Declassification of Petri Nets.	POST	2012	DBLP DOI BibTeX RDF
25	Cong Sun 0001, Sheng Gao 0002, Jianfeng Ma 0001	Verifying Location-Based Services with Declassification Enforcement.	APWeb	2012	DBLP DOI BibTeX RDF
25	Harold C. Relyea	Declassification review of congressional records.	Gov. Inf. Q.	2011	DBLP DOI BibTeX RDF
25	Isabella Mastroeni, Anindya Banerjee 0001	Modelling declassification policies using abstract domain completeness.	Math. Struct. Comput. Sci.	2011	DBLP DOI BibTeX RDF
25	Cong Sun 0001, Liyong Tang, Zhong Chen 0001	A New Enforcement on Declassification with Reachability Analysis	CoRR	2011	DBLP BibTeX RDF
25	Julien A. Thomas, Nora Cuppens-Boulahia, Frédéric Cuppens	Declassification Policy Management in Dynamic Information Systems.	ARES	2011	DBLP DOI BibTeX RDF
25	Daniel Abril, Guillermo Navarro-Arribas, Vicenç Torra	On the Declassification of Confidential Documents.	MDAI	2011	DBLP DOI BibTeX RDF
25	Julien A. Thomas, Frédéric Cuppens, Nora Cuppens-Boulahia	Consistency Policies for Dynamic Information Systems with Declassification Flows.	ICISS	2011	DBLP DOI BibTeX RDF
25	Vikki Gordon	National Security Directive declassification.	Gov. Inf. Q.	2010	DBLP DOI BibTeX RDF
25	Aslan Askarov, Andrew C. Myers	A Semantic Framework for Declassification and Endorsement.	ESOP	2010	DBLP DOI BibTeX RDF
25	Bruno P. S. Rocha, Sruthi Bandhakavi, Jerry den Hartog, William H. Winsborough, Sandro Etalle	Towards Static Flow-Based Declassification for Legacy and Untrusted Programs.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF
25	Josef Svenningsson, David Sands 0001	Specification and Verification of Side Channel Declassification	CoRR	2009	DBLP BibTeX RDF
25	Andrei Sabelfeld, David Sands 0001	Declassification: Dimensions and principles.	J. Comput. Secur.	2009	DBLP DOI BibTeX RDF
25	Ana Almeida Matos, Gérard Boudol	On declassification and the non-disclosure policy.	J. Comput. Secur.	2009	DBLP DOI BibTeX RDF
25	Thomas Demongeot, Julien Mallet, Yves Le Traon	Runtime verification of declassification for imperative programs: Formal foundations.	CRiSIS	2009	DBLP DOI BibTeX RDF
25	Alexander Lux, Heiko Mantel	Declassification with Explicit Reference Points.	ESORICS	2009	DBLP DOI BibTeX RDF
25	Josef Svenningsson, David Sands 0001	Specification and Verification of Side Channel Declassification.	Formal Aspects in Security and Trust	2009	DBLP DOI BibTeX RDF
25	Anindya Banerjee 0001, Roberto Giacobazzi, Isabella Mastroeni	What You Lose is What You Leak: Information Leakage in Declassification Policies.	MFPS	2007	DBLP DOI BibTeX RDF
25	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification and Qualified Robustness.	J. Comput. Secur.	2006	DBLP DOI BibTeX RDF
25	Heiko Mantel, David Sands 0001	Controlled Declassification Based on Intransitive Noninterference.	APLAS	2004	DBLP DOI BibTeX RDF
25	Steve Zdancewic	A Type System for Robust Declassification.	MFPS	2003	DBLP DOI BibTeX RDF
22	Musard Balliu, Isabella Mastroeni	A weakest precondition approach to active attacks analysis.	PLAS	2009	DBLP DOI BibTeX RDF	robustness, non-interference, declassification, program semantics, active attackers
22	Avraham Shinnar, Marco Pistoia, Anindya Banerjee 0001	A language for information flow: dynamic tracking in multiple interdependent dimensions.	PLAS	2009	DBLP DOI BibTeX RDF	information flow control, declassification, security type system
22	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	affine types, certified evaluation, state modifying policies, dependent types, declassification, singleton types
22	Nikhil Swamy, Michael Hicks 0001	Verified enforcement of stateful information release policies.	PLAS	2008	DBLP DOI BibTeX RDF	certified evaluation, state modifying, dependent, declassification, affine, singleton types
22	Scott F. Smith 0001, Mark Thober	Improving usability of information flow security in java.	PLAS	2007	DBLP DOI BibTeX RDF	java, security policies, type inference, declassification, information flow security
22	Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers	Secure program partitioning.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	mutual distrust, distributed systems, integrity, type systems, security policies, Confidentiality, secrecy, declassification, downgrading
22	Andrew C. Myers, Barbara Liskov	Protecting privacy using the decentralized label model.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	principals, integrity, policies, lattice, confidentiality, roles, type checking, information flow controls, declassification, end-to-end, downgrading
16	Adedayo Adetoye, Atta Badii	A Policy Model for Secure Information Flow.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
16	Cédric Fournet, Tamara Rezk	Cryptographically sound implementations for typed information-flow security.	POPL	2008	DBLP DOI BibTeX RDF	probabilistic programs, cryptography, compilers, integrity, type systems, computational model, confidentiality, non-interference, secure information flow
16	Stephen Tse, Steve Zdancewic	Run-time principals in information-flow type systems.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Decentralized label model, dynamic principals, run-time principals, security-typed language, type systems, information-flow, soundness, noninterference
16	Jeffrey A. Vaughan, Steve Zdancewic	A Cryptographic Decentralized Label Model.	S&P	2007	DBLP DOI BibTeX RDF
16	Ariel Futoransky, Emiliano Kargieman, Carlos Sarraute, Ariel Waissbein	Foundations and applications for secure triggers.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	Malicious host problem, secure triggers, obfuscation, universally composable security, mobile code security
16	Silvia Crafa, Sabina Rossi	P-congruences as non-interference for the pi-calculus.	FMSE	2006	DBLP DOI BibTeX RDF	process calculi, noninterference, downgrading
16	Christian Hammer 0001, Jens Krinke, Frank Nodes	Intransitive Noninterference in Dependence Graphs.	ISoLA	2006	DBLP DOI BibTeX RDF