Search results for "noninterference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	Todd Fine	Defining Noninterference in the Temporal Logic of Actions.	S&P	1996	DBLP DOI BibTeX RDF	noninterference properties, temporal logic of actions, multilevel secure systems, formal specification, formal methods, temporal logic, composition, security of data, covert channels, definitions, specification refinement
112	Mads Dam	Decidability and proof systems for language-based noninterference relations.	POPL	2006	DBLP DOI BibTeX RDF	intransitive noninterference, information flow, language-based security, noninterference, multi-level security
93	Peng Li, Steve Zdancewic	Downgrading policies and relaxed noninterference.	POPL	2005	DBLP DOI BibTeX RDF	downgrading policies, relaxed noninterference, information flow, language-based security, program equivalence
80	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	CCS	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
74	Alessandro Aldini, Marco Bernardo 0001	A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
74	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
74	Michael Backes 0001, Birgit Pfitzmann	Computational probabilistic noninterference.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Security, Cryptography, Information flow, Non-interference, Simulatability
72	Silvia Crafa, Sabina Rossi	P-congruences as non-interference for the pi-calculus.	FMSE	2006	DBLP DOI BibTeX RDF	process calculi, noninterference, downgrading
72	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
67	Jian Huang, A. W. Roscoe 0001	Extending noninterference properties to the timed world.	SAC	2006	DBLP DOI BibTeX RDF	CSP, information flow, noninterference, discrete time
67	Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen, Yao-Dong Bi	A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	real-time software testing, recorded execution history, noninterference monitoring architecture, program execution data, target real-time software system, replay mechanism, Motorola 68000 computer, Unix system environment, real-time software systems, real-time systems, program testing, program debugging, monitoring system, program behavior, timing errors
61	Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands 0001	Termination-Insensitive Noninterference Leaks More Than Just a Bit.	ESORICS	2008	DBLP DOI BibTeX RDF
61	Ron van der Meyden	What, Indeed, Is Intransitive Noninterference?	ESORICS	2007	DBLP DOI BibTeX RDF
61	Li Jiang, Lingdi Ping, Xuezeng Pan	Combining robust declassification and intransitive noninterference.	IMSCCS	2007	DBLP DOI BibTeX RDF
61	Christian Hammer 0001, Jens Krinke, Frank Nodes	Intransitive Noninterference in Dependence Graphs.	ISoLA	2006	DBLP DOI BibTeX RDF
61	David von Oheimb	Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.	ESORICS	2004	DBLP DOI BibTeX RDF
59	Conghua Zhou, Li Chen, Shiguang Ju, Zhifeng Liu	State Space Reduction for Verifying Noninterference.	SSIRI	2009	DBLP DOI BibTeX RDF	intransitive noninterference, abstraction, noninterference
59	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
53	Antonio Durante, Riccardo Focardi, Roberto Gorrieri	A compiler for analyzing cryptographic protocols using noninterference.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	process algebra, cryptographic protocols, automatic verification, noninterference, verification tool
53	Andrei Sabelfeld, David Sands 0001	Probabilistic Noninterference for Multi-Threaded Programs.	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
53	Aslan Askarov, Daniel Hedin, Andrei Sabelfeld	Cryptographically-Masked Flows.	SAS	2006	DBLP DOI BibTeX RDF
53	Steve Zdancewic, Andrew C. Myers	Observational Determinism for Concurrent Program Security.	CSFW	2003	DBLP DOI BibTeX RDF
53	François Pottier	A Simple View of Type-Secure Information Flow in the p-Calculus.	CSFW	2002	DBLP DOI BibTeX RDF
47	Li Jiang, Lingdi Ping, Xuezeng Pan	Extending intransitive noninterference with probabilities in information flow security.	IMSCCS	2007	DBLP DOI BibTeX RDF
47	Yan Sun 0008, Bruce M. McMillin, Xiaoqing Frank Liu, David A. Cape	Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid.	QSIC	2007	DBLP DOI BibTeX RDF
47	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
47	Ron van der Meyden, Chenyi Zhang	A Comparison of Semantic Models for Noninterference.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
47	Lantian Zheng, Andrew C. Myers	End-to-End Availability Policies and Noninterference.	CSFW	2005	DBLP DOI BibTeX RDF
47	Heiko Mantel, David Sands 0001	Controlled Declassification Based on Intransitive Noninterference.	APLAS	2004	DBLP DOI BibTeX RDF
47	Calvin Ko, Timothy Redmond	Noninterference and Intrusion Detection.	S&P	2002	DBLP DOI BibTeX RDF
47	Sylvan Pinsky, Edward Zieglar	Noninterference Equations for Nondeterministic Systems.	CSFW	2001	DBLP DOI BibTeX RDF
47	Gérard Boudol, Ilaria Castellani	Noninterference for Concurrent Programs.	ICALP	2001	DBLP DOI BibTeX RDF
46	Geoffrey Smith 0001, Rafael Alpízar	Secure information flow with random assignment and encryption.	FMSE	2006	DBLP DOI BibTeX RDF	IND-CCA, IND-CPA, encryption, type systems, reductions, noninterference, secure information flow
42	Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow	Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference.	CALCO	2013	DBLP DOI BibTeX RDF
40	Sebastian Eggert, Ron van der Meyden, Henning Schnoor, Thomas Wilke	The Complexity of Intransitive Noninterference.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	verification, information flow, noninterference
40	Dominique Devriese, Frank Piessens	Noninterference through Secure Multi-execution.	IEEE Symposium on Security and Privacy	2010	DBLP DOI BibTeX RDF	Secure Multi-Execution, Information Flow, Noninterference
40	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
40	Dave King 0002, Boniface Hicks, Michael Hicks 0001, Trent Jaeger	Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.	ICISS	2008	DBLP DOI BibTeX RDF
40	Deepak D'Souza, Raveendra Holla, Janardhan Kulkarni, Raghavendra K. Ramesh, Barbara Sprick	On the Decidability of Model-Checking Information Flow Properties.	ICISS	2008	DBLP DOI BibTeX RDF
40	Geoffrey Smith 0001	Adversaries and Information Leaks (Tutorial).	TGC	2007	DBLP DOI BibTeX RDF
40	Gurvan Le Guernic	Information Flow Testing.	ASIAN	2007	DBLP DOI BibTeX RDF
40	Steve Zdancewic, Andrew C. Myers	Robust Declassification.	CSFW	2001	DBLP DOI BibTeX RDF
40	William R. Bevier, Richard M. Cohen, William D. Young	Connection policies and controlled interference.	CSFW	1995	DBLP DOI BibTeX RDF	communication policy, controlled interference, system agents, connection policy, state-based formulation, distributed processing, computer security, security of data
34	Maxwell N. Krohn, Eran Tromer	Noninterference for a Practical DIFC-Based Operating System.	SP	2009	DBLP DOI BibTeX RDF
34	Daniel Hedin, David Sands 0001	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
34	Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin 0001, John Mullins, Mohamed Moez Yeddes	On the verification of intransitive noninterference in multilevel security.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
34	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
34	Geoffrey Smith 0001	Probabilistic Noninterference through Weak Probabilistic Bisimulation.	CSFW	2003	DBLP DOI BibTeX RDF
34	Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky	Two Formal Approaches for Approximating Noninterference Properties.	FOSAD	2002	DBLP DOI BibTeX RDF
34	A. W. Roscoe 0001, M. H. Goldsmith	What Is Intransitive Noninterference?	CSFW	1999	DBLP DOI BibTeX RDF
32	Alessandro Aldini, Alessandra Di Pierro	Estimating the maximum information leakage.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Approximate noninterference, Bisimulation semantics, Process algebra, Probabilistic models, Covert channels
32	Marcus Völp, Claude-Joachim Hamann, Hermann Härtig	Avoiding timing channels in fixed-priority schedulers.	AsiaCCS	2008	DBLP DOI BibTeX RDF	security, real-time, information flow, fixed-priority scheduling, noninterference
32	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
32	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
32	Geoffrey Smith 0001, Rafael Alpízar	Fast probabilistic simulation, nontermination, and secure information flow.	PLAS	2007	DBLP DOI BibTeX RDF	probabilistic noninterference, type systems
32	Heiko Mantel	The framework of selective interleaving functions and the modular assembly kit.	FMSE	2005	DBLP DOI BibTeX RDF	formal specification and analysis of security properties, noninterference, information flow security
32	Stephen Chong, Andrew C. Myers	Security policies for downgrading.	CCS	2004	DBLP DOI BibTeX RDF	information flow, security policies, noninterference, declassification, downgrading
32	Matthew Hennessy, James Riely	Information flow vs. resource access in the asynchronous pi-calculus.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Distributed process language, I/O subtyping, may testing, security types, security, information flow, pi-calculus, noninterference
32	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
32	Jane E. Sinclair	Action Systems for Security Specification.	CSFW	1996	DBLP DOI BibTeX RDF	security development, formal methods, noninterference, Action systems
26	Ravi Akella, Bruce M. McMillin	Model-Checking BNDC Properties in Cyber-Physical Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
26	Sebastian Hunt, David Sands 0001	Just Forget It - The Semantics and Enforcement of Information Erasure.	ESOP	2008	DBLP DOI BibTeX RDF
26	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
26	Gurvan Le Guernic	Automaton-based Confidentiality Monitoring of Concurrent Programs.	CSF	2007	DBLP DOI BibTeX RDF
26	Li Jiang, Lingdi Ping, Xuezeng Pan	Handling Dynamic Information Release.	ICISC	2007	DBLP DOI BibTeX RDF	languages, Computer security, information flow, security-type systems
26	Dachuan Yu, Nayeem Islam	A Typed Assembly Language for Confidentiality.	ESOP	2006	DBLP DOI BibTeX RDF
26	Stephen Chong, Andrew C. Myers	Language-Based Information Erasure.	CSFW	2005	DBLP DOI BibTeX RDF
26	Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic	Enforcing Robust Declassification.	CSFW	2004	DBLP DOI BibTeX RDF
26	Annalisa Bossi, Carla Piazza, Sabina Rossi	Modelling Downgrading in Information Flow Security.	CSFW	2004	DBLP DOI BibTeX RDF
26	François Pottier, Vincent Simonet	Information flow inference for ML.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	non-interference, Constraint-based analysis
26	Geoffrey Smith 0001	A New Type System for Secure Information Flow.	CSFW	2001	DBLP DOI BibTeX RDF
26	Johan Agat, David Sands	On Confidentiality and Algorithms.	S&P	2001	DBLP DOI BibTeX RDF
21	Pasquale Noce	Information Flow Control via Stateful Intransitive Noninterference in Language IMP.	Arch. Formal Proofs	2024	DBLP BibTeX RDF
21	Emmanuel Hainry, Romain Péchoux	A General Noninterference Policy for Polynomial Time.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, Savvas Savvides	Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Yu Hong, Yi Li, Haining Tan	A noninterference trusted dual system security guarantee method based on secure memory.	Concurr. Comput. Pract. Exp.	2023	DBLP DOI BibTeX RDF
21	Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic	Semantics for Noninterference with Interaction Trees (Artifact).	Dagstuhl Artifacts Ser.	2023	DBLP DOI BibTeX RDF
21	Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001, Sabina Rossi	Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.	CoRR	2023	DBLP DOI BibTeX RDF
21	Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, Steve Zdancewic	Semantics for Noninterference with Interaction Trees.	ECOOP	2023	DBLP DOI BibTeX RDF
21	Andrea Esposito 0006, Alessandro Aldini, Marco Bernardo 0001	Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.	FORTE	2023	DBLP DOI BibTeX RDF
21	Wenfa Li, Zhi Yang, Jia Liu	Automatic analysis of DIFC systems using noninterference with declassification.	Neural Comput. Appl.	2022	DBLP DOI BibTeX RDF
21	Tianyu Chen, Jeremy G. Siek	Mechanized Noninterference for Gradual Security.	CoRR	2022	DBLP DOI BibTeX RDF
21	Jonathan Sterling, Robert Harper 0001	Sheaf semantics of termination-insensitive noninterference.	CoRR	2022	DBLP DOI BibTeX RDF
21	Nicholas Coughlin, Graeme Smith 0001	Compositional noninterference on hardware weak memory models.	Sci. Comput. Program.	2022	DBLP DOI BibTeX RDF
21	Jonathan Sterling, Robert Harper 0001	Sheaf Semantics of Termination-Insensitive Noninterference.	FSCD	2022	DBLP DOI BibTeX RDF
21	Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal	Mechanized logical relations for termination-insensitive noninterference.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
21	Ziqiao Zhou, Michael K. Reiter	Interpretable noninterference measurement and its application to processor designs.	Proc. ACM Program. Lang.	2021	DBLP DOI BibTeX RDF
21	Francesco Basile, Gianmaria De Tommasi, Claudio Sterle	Noninterference Enforcement via Supervisory Control in Bounded Petri Nets.	IEEE Trans. Autom. Control.	2021	DBLP DOI BibTeX RDF
21	Farzaneh Derakhshan, Stephanie Balzer, Limin Jia 0001	Session Logical Relations for Noninterference.	CoRR	2021	DBLP BibTeX RDF
21	Zhanhui Yuan, Wenfa Li, Zhi Yang, Lei Sun, Xuehui Du, Hongqi Zhang	A Noninterference Model for Mobile OS Information Flow Control and Its Policy Verification.	Secur. Commun. Networks	2021	DBLP DOI BibTeX RDF
21	Farzaneh Derakhshan, Stephanie Balzer, Limin Jia 0001	Session Logical Relations for Noninterference.	LICS	2021	DBLP DOI BibTeX RDF
21	Johan Bay, Aslan Askarov	Reconciling progress-insensitive noninterference and declassification.	CoRR	2020	DBLP BibTeX RDF
21	Luke Nelson, James Bornholt, Arvind Krishnamurthy, Emina Torlak, Xi Wang 0005	Noninterference specifications for secure systems.	ACM SIGOPS Oper. Syst. Rev.	2020	DBLP DOI BibTeX RDF
21	Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz	Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.	20 Years of KeY	2020	DBLP DOI BibTeX RDF
21	Nicholas Coughlin, Graeme Smith 0001	Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms.	CSF	2020	DBLP DOI BibTeX RDF
21	Johan Bay, Aslan Askarov	Reconciling progress-insensitive noninterference and declassification.	CSF	2020	DBLP DOI BibTeX RDF
21	Arthur Azevedo de Amorim, Matt Fredrikson, Limin Jia 0001	Reconciling noninterference and gradual typing.	LICS	2020	DBLP DOI BibTeX RDF
21	Alexander Christian Müller	Proving Noninterference in Multi-Agent Systems.		2020	RDF
21	Maximilian Algehed, Jean-Philippe Bernardy	Simple noninterference from parametricity.	Proc. ACM Program. Lang.	2019	DBLP DOI BibTeX RDF
21	Raimil Cruz, Éric Tanter	Polymorphic Relaxed Noninterference.	CoRR	2019	DBLP BibTeX RDF