Search results for "noninterference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Minh Ngo, David A. Naumann, Tamara Rezk	Typed-based Relaxed Noninterference for Free.	CoRR	2019	DBLP BibTeX RDF
21	Raimil Cruz, Éric Tanter	Existential Types for Relaxed Noninterference.	CoRR	2019	DBLP BibTeX RDF
21	Carlos Tomé Cortiñas, Nachiappan Valliappan	Simple Noninterference by Normalization.	PLAS@CCS	2019	DBLP DOI BibTeX RDF
21	Raimil Cruz, Éric Tanter	Existential Types for Relaxed Noninterference.	APLAS	2019	DBLP DOI BibTeX RDF
21	Raimil Cruz, Éric Tanter	Polymorphic Relaxed Noninterference.	SecDev	2019	DBLP DOI BibTeX RDF
21	Christian Müller 0008, Helmut Seidl, Eugen Zalinescu	Inductive Invariants for Noninterference in Multi-agent Workflows.	CSF	2018	DBLP DOI BibTeX RDF
21	Ziqiao Zhou, Zhiyun Qian, Michael K. Reiter, Yinqian Zhang	Static Evaluation of Noninterference Using Approximate Model Counting.	IEEE Symposium on Security and Privacy	2018	DBLP DOI BibTeX RDF
21	Fan Zhang, Cong Zhang 0007, Mingdi Xu, Xiaoli Liu, Fangning Hu, Han-Chieh Chao	Automated Verification of Noninterference Property.	ICICS	2018	DBLP DOI BibTeX RDF
21	Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter	Type Abstraction for Relaxed Noninterference (Artifact).	Dagstuhl Artifacts Ser.	2017	DBLP DOI BibTeX RDF
21	Sebastian Eggert, Ron van der Meyden	Dynamic intransitive noninterference revisited.	Formal Aspects Comput.	2017	DBLP DOI BibTeX RDF
21	Willard Rafnsson, Limin Jia 0001, Lujo Bauer	Timing-Sensitive Noninterference through Composition.	POST	2017	DBLP DOI BibTeX RDF
21	Cong Sun 0001, Ning Xi 0002, Jianfeng Ma 0001	Enforcing Generalized Refinement-Based Noninterference for Secure Interface Composition.	COMPSAC (1)	2017	DBLP DOI BibTeX RDF
21	Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter	Type Abstraction for Relaxed Noninterference.	ECOOP	2017	DBLP DOI BibTeX RDF
21	Peter Aldous	Noninterference in Expressive Low-Level Languages.		2017	RDF
21	Afshin Lamei, Mehran S. Fallah	Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values.	J. Univers. Comput. Sci.	2016	DBLP BibTeX RDF
21	Zeinab Iranmanesh, Mehran S. Fallah	Specification and static enforcement of scheduler-independent noninterference in a middleweight Java.	Comput. Lang. Syst. Struct.	2016	DBLP DOI BibTeX RDF
21	Sebastian Eggert, Ron van der Meyden	Dynamic Intransitive Noninterference Revisited.	CoRR	2016	DBLP BibTeX RDF
21	Oliver Woizekowski, Ron van der Meyden	Nondeterministic Multi-Domain Noninterference via Policy Reduction.	CoRR	2016	DBLP BibTeX RDF
21	Pasquale Noce	Conservation of CSP Noninterference Security under Concurrent Composition.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
21	Pasquale Noce	Conservation of CSP Noninterference Security under Sequential Composition.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
21	Jingming Wang	Alternative composition analysis of noninterference in cyber-physical system.	J. Comput. Methods Sci. Eng.	2016	DBLP DOI BibTeX RDF
21	Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes 0001, Benjamin C. Pierce, Dimitrios Vytiniotis	Testing noninterference, quickly.	J. Funct. Program.	2016	DBLP DOI BibTeX RDF
21	Toby C. Murray, Robert Sison, Edward Pierzchalski, Christine Rizkallah	Compositional Verification and Refinement of Concurrent Value-Dependent Noninterference.	CSF	2016	DBLP DOI BibTeX RDF
21	Oliver Woizekowski, Ron van der Meyden	On Reductions from Multi-Domain Noninterference to the Two-Level Case.	ESORICS (1)	2016	DBLP DOI BibTeX RDF
21	Ruud Koolen, Julien Schmaltz	Modeling Information Routing with Noninterference.	MILS@HiPEAC	2016	DBLP DOI BibTeX RDF
21	Oliver Schwarz, Mads Dam	Automatic Derivation of Platform Noninterference Properties.	SEFM	2016	DBLP DOI BibTeX RDF
21	Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr	A Hybrid Approach for Proving Noninterference of Java Programs.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
21	Pasquale Noce	The Ipurge Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
21	Pasquale Noce	The Generic Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
21	Pasquale Noce	The Inductive Unwinding Theorem for CSP Noninterference Security.	Arch. Formal Proofs	2015	DBLP BibTeX RDF
21	Ron van der Meyden	What, indeed, is intransitive noninterference?	J. Comput. Secur.	2015	DBLP DOI BibTeX RDF
21	Wojciech Jamroga, Masoud Tabatabaei	Strategic Noninterference.	SEC	2015	DBLP DOI BibTeX RDF
21	Ralf Küsters, Tomasz Truderung, Bernhard Beckert, Daniel Bruns, Michael Kirsten, Martin Mohr	A Hybrid Approach for Proving Noninterference of Java Programs.	CSF	2015	DBLP DOI BibTeX RDF
21	Aslan Askarov, Stephen Chong, Heiko Mantel	Hybrid Monitors for Concurrent Noninterference.	CSF	2015	DBLP DOI BibTeX RDF
21	William J. Bowman, Amal Ahmed 0001	Noninterference for free.	ICFP	2015	DBLP DOI BibTeX RDF
21	Kurt Stenzel, Kuzman Katkalov, Marian Borek, Wolfgang Reif	A Model-Driven Approach to Noninterference.	J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.	2014	DBLP DOI BibTeX RDF
21	Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes 0001, Benjamin C. Pierce, Dimitrios Vytiniotis	Testing Noninterference, Quickly.	CoRR	2014	DBLP BibTeX RDF
21	Andrei Popescu 0001, Johannes Hölzl	Probabilistic Noninterference.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
21	Pasquale Noce	Noninterference Security in Communicating Sequential Processes.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
21	Sylvia Grewe, Heiko Mantel, Daniel Schoepe	A Formalization of Assumptions and Guarantees for Compositional Noninterference.	Arch. Formal Proofs	2014	DBLP BibTeX RDF
21	Gregor Snelting, Dennis Giffhorn, Jürgen Graf 0001, Christian Hammer 0001, Martin Hecker 0001, Martin Mohr, Daniel Wasserrab	Checking probabilistic noninterference using JOANA.	it Inf. Technol.	2014	DBLP BibTeX RDF
21	Ana Almeida Matos, Jan Cederquist	Distributed Noninterference.	PDP	2014	DBLP DOI BibTeX RDF
21	Adrian Garcia Ramirez, Julien Schmaltz, Freek Verbeek, Bruno Langenstein, Holger Blasum	On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.	SAFECOMP	2014	DBLP DOI BibTeX RDF
21	Heiko Mantel, Matthias Perner, Jens Sauer	Noninterference under Weak Memory Models.	CSF	2014	DBLP DOI BibTeX RDF
21	Sebastian Eggert	Security via Noninterference - Analyzing Information Flows.		2014	RDF
21	Sepehr Amir-Mohammadian, Mehran S. Fallah	Noninterference in a predicative polymorphic calculus for access control.	Comput. Lang. Syst. Struct.	2013	DBLP DOI BibTeX RDF
21	Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow	Formal Verification of Language-Based Concurrent Noninterference.	J. Formaliz. Reason.	2013	DBLP DOI BibTeX RDF
21	Mingsheng Ying, Yuan Feng 0001, Nengkun Yu	Quantum Information-Flow Security: Noninterference and Access Control	CoRR	2013	DBLP BibTeX RDF
21	Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke	Complexity and Unwinding for Intransitive Noninterference.	CoRR	2013	DBLP BibTeX RDF
21	A. W. Roscoe 0001, Jian Huang	Checking noninterference in Timed CSP.	Formal Aspects Comput.	2013	DBLP DOI BibTeX RDF
21	Pejman Attar, Ilaria Castellani	Fine-Grained and Coarse-Grained Reactive Noninterference.	TGC	2013	DBLP DOI BibTeX RDF
21	Radha Jagadeesan, Corin Pitcher, James Riely	Noninterference for Intuitionist Necessity.	ICLA	2013	DBLP DOI BibTeX RDF
21	Mingsheng Ying, Yuan Feng 0001, Nengkun Yu	Quantum Information-Flow Security: Noninterference and Access Control.	CSF	2013	DBLP DOI BibTeX RDF
21	Sebastian Eggert, Henning Schnoor, Thomas Wilke	Noninterference with Local Policies.	MFCS	2013	DBLP DOI BibTeX RDF
21	Catalin Hritcu, John Hughes 0001, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos	Testing noninterference, quickly.	ICFP	2013	DBLP DOI BibTeX RDF
21	Andreas Gampe, Jeffery von Ronne	Security completeness: towards noninterference in composed languages.	PLAS	2013	DBLP DOI BibTeX RDF
21	Simon N. Foley	Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems.	IFIPTM	2013	DBLP DOI BibTeX RDF
21	Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow	Formalizing Probabilistic Noninterference.	CPP	2013	DBLP DOI BibTeX RDF
21	Conghua Zhou, Zhifeng Liu, Hailing Wu, Song Chen, Shiguang Ju	Symbolic algorithmic verification of intransitive generalized noninterference.	Sci. China Inf. Sci.	2012	DBLP DOI BibTeX RDF
21	Sebastian Eggert, Henning Schnoor, Thomas Wilke	Dynamic Noninterference: Consistent Policies, Characterizations and Verification	CoRR	2012	DBLP BibTeX RDF
21	Andrei Popescu 0001, Johannes Hölzl	Possibilistic Noninterference.	Arch. Formal Proofs	2012	DBLP BibTeX RDF
21	Ron van der Meyden	Architectural refinement and notions of intransitive noninterference.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
21	Carroll Morgan	Compositional noninterference from first principles.	Formal Aspects Comput.	2012	DBLP DOI BibTeX RDF
21	Kai Engelhardt, Ron van der Meyden, Chenyi Zhang	Intransitive noninterference in nondeterministic systems.	CCS	2012	DBLP DOI BibTeX RDF
21	Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow	Proving Concurrent Noninterference.	CPP	2012	DBLP DOI BibTeX RDF
21	Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein	Noninterference for Operating System Kernels.	CPP	2012	DBLP DOI BibTeX RDF
21	Dimiter Milushev, Wim Beck, Dave Clarke 0001	Noninterference via Symbolic Execution.	FMOODS/FORTE	2012	DBLP DOI BibTeX RDF
21	Heiko Mantel	Information Flow and Noninterference.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
21	Conghua Zhou, Meiling Cao, Meng Ye 0006, Zhihao Qian	SAT-based Algorithmic Verification of Noninterference.	J. Comput.	2011	DBLP DOI BibTeX RDF
21	Alessandro Aldini, Marco Bernardo 0001	Component-oriented verification of noninterference.	J. Syst. Archit.	2011	DBLP DOI BibTeX RDF
21	Yoshio Ishiguro, Jun Rekimoto	Peripheral vision annotation: noninterference information presentation method for mobile augmented reality.	AH	2011	DBLP DOI BibTeX RDF
21	Heiko Mantel, David Sands 0001, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
21	Cong Sun 0001, Liyong Tang, Zhong Chen 0001	Enforcing Reactive Noninterference with Reachability Analysis.	ITNG	2011	DBLP DOI BibTeX RDF
21	Ron van der Meyden, Chenyi Zhang	A comparison of semantic models for noninterference.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
21	Chenyi Zhang	Unwinding Conditional Noninterference	CoRR	2010	DBLP BibTeX RDF
21	Annabelle McIver, Larissa Meinicke, Carroll Morgan	Compositional closure for Bayes Risk in probabilistic noninterference	CoRR	2010	DBLP BibTeX RDF
21	Daniel Wasserrab	Information Flow Noninterference via Slicing.	Arch. Formal Proofs	2010	DBLP BibTeX RDF
21	Annabelle McIver, Larissa Meinicke, Carroll Morgan	Compositional Closure for Bayes Risk in Probabilistic Noninterference.	ICALP (2)	2010	DBLP DOI BibTeX RDF
21	Daniel Wasserrab, Denis Lohner	Proving Information Flow Noninterference by Reusing a Machine-Checked Correctness Proof for Slicing.	VERIFY@IJCAR	2010	DBLP DOI BibTeX RDF
21	Thuy Duong Vu	Thread algebra for noninterference.	RAIRO Theor. Informatics Appl.	2009	DBLP DOI BibTeX RDF
21	Robert Grabowski, Lennart Beringer	Noninterference with Dynamic Security Domains and Policies.	ASIAN	2009	DBLP DOI BibTeX RDF
21	Ron van der Meyden	Architectural Refinement and Notions of Intransitive Noninterference.	ESSoS	2009	DBLP DOI BibTeX RDF
21	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus	CoRR	2008	DBLP BibTeX RDF
21	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus.	Log. Methods Comput. Sci.	2008	DBLP DOI BibTeX RDF
21	Ana Almeida Matos, Gérard Boudol, Ilaria Castellani	Typing noninterference for reactive programs.	J. Log. Algebraic Methods Program.	2007	DBLP DOI BibTeX RDF
21	Ilaria Castellani	State-oriented Noninterference for CCS.	SecCO@CONCUR	2007	DBLP DOI BibTeX RDF
21	Ron van der Meyden, Chenyi Zhang	Algorithmic Verification of Noninterference Properties.	VODCA@FOSAD	2006	DBLP DOI BibTeX RDF
21	Geoffrey Smith 0001	Improved typings for probabilistic noninterference in a multi-threaded language.	J. Comput. Secur.	2006	DBLP DOI BibTeX RDF
21	Rebekah Leslie	Dynamic Intransitive Noninterference.	ISSSE	2006	DBLP BibTeX RDF
21	Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin 0001, John Mullins, Moez Yeddes	Characterizing intransitive noninterference for 3-domain security policies with observability.	IEEE Trans. Autom. Control.	2005	DBLP DOI BibTeX RDF
21	Kohei Honda 0001, Nobuko Yoshida	Noninterference through flow analysis.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
21	Alessandro Aldini, Mario Bravetti, Roberto Gorrieri	A process-algebraic approach for the analysis of probabilistic noninterference.	J. Comput. Secur.	2004	DBLP DOI BibTeX RDF
21	Alessandro Aldini	Coordination Model and Noninterference.	SecCo	2003	DBLP DOI BibTeX RDF
21	Alessandro Aldini, Alessandra Di Pierro	A Quantitative Approach to Noninterference for Probabilistic Systems.	MEFISTO	2003	DBLP DOI BibTeX RDF
21	Gérard Boudol, Ilaria Castellani	Noninterference for concurrent programs and thread systems.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
21	Dennis M. Volpano, Geoffrey Smith 0001	Probabilistic Noninterference in a Concurrent Language.	J. Comput. Secur.	1999	DBLP DOI BibTeX RDF
21	Dennis M. Volpano, Geoffrey Smith 0001	Probabilistic Noninterference in a Concurrent Language.	CSFW	1998	DBLP DOI BibTeX RDF
21	Qi Shi 0001, John A. McDermid, Jonathan D. Moffett	Applying noninterference to composition of systems: a more practical approach.	ACSAC	1993	DBLP DOI BibTeX RDF
21	John McLean	Proving Noninterference and Functional Correctness Using Traces.	J. Comput. Secur.	1992	DBLP DOI BibTeX RDF
21	Simon N. Foley	Aggregation and Separation as Noninterference Properties.	J. Comput. Secur.	1992	DBLP DOI BibTeX RDF