Search results for "noninterference"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	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
3	Conghua Zhou, Li Chen, Shiguang Ju, Zhifeng Liu	State Space Reduction for Verifying Noninterference.	SSIRI	2009	DBLP DOI BibTeX RDF	intransitive noninterference, abstraction, noninterference
3	Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic	Reactive noninterference.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	web applications, information flow, web browsers, noninterference, reactive programming
3	Jian Huang, A. W. Roscoe	Extending noninterference properties to the timed world.	SAC	2006	DBLP DOI BibTeX RDF	CSP, information flow, noninterference, discrete time
3	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
3	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
3	Andrei Sabelfeld, David Sands	Probabilistic Noninterference for Multi-Threaded Programs. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	probabilistic bisimulation, probabilistic scheduling, probabilistic covert channels, hook-up, type-system-based analysis, semantics, confidentiality, noninterference
3	Todd Fine	Defining Noninterference in the Temporal Logic of Actions.	IEEE Symposium on Security and Privacy	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
3	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
2	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
2	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
2	Maxwell N. Krohn, Eran Tromer	Noninterference for a Practical DIFC-Based Operating System.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
2	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
2	Alessandro Aldini, Marco Bernardo	A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
2	Aslan Askarov, Sebastian Hunt, Andrei Sabelfeld, David Sands	Termination-Insensitive Noninterference Leaks More Than Just a Bit.	ESORICS	2008	DBLP DOI BibTeX RDF
2	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
2	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
2	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
2	Li Jiang, Lingdi Ping, Xuezeng Pan	Combining robust declassification and intransitive noninterference.	IMSCCS	2007	DBLP DOI BibTeX RDF
2	Li Jiang, Lingdi Ping, Xuezeng Pan	Extending intransitive noninterference with probabilities in information flow security.	IMSCCS	2007	DBLP DOI BibTeX RDF
2	Yan Sun, 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
2	Ron van der Meyden	What, Indeed, Is Intransitive Noninterference?	ESORICS	2007	DBLP DOI BibTeX RDF
2	Geoffrey Smith, Rafael Alpízar	Fast probabilistic simulation, nontermination, and secure information flow.	PLAS	2007	DBLP DOI BibTeX RDF	probabilistic noninterference, type systems
2	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
2	Ron van der Meyden, Chenyi Zhang	A Comparison of Semantic Models for Noninterference.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
2	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
2	Daniel Hedin, David Sands	Noninterference in the Presence of Non-Opaque Pointers.	CSFW	2006	DBLP DOI BibTeX RDF
2	Christian Hammer, Jens Krinke, Frank Nodes	Intransitive Noninterference in Dependence Graphs.	ISoLA	2006	DBLP DOI BibTeX RDF
2	Silvia Crafa, Sabina Rossi	P-congruences as non-interference for the pi-calculus.	FMSE	2006	DBLP DOI BibTeX RDF	process calculi, noninterference, downgrading
2	Geoffrey Smith, 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
2	Boniface Hicks, Dave King 0002, Patrick McDaniel, Michael Hicks	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
2	Nejib Ben Hadj-Alouane, Stéphane Lafrance, Feng Lin, John Mullins, Mohamed Moez Yeddes	On the verification of intransitive noninterference in multilevel security.	IEEE Transactions on Systems, Man, and Cybernetics, Part B	2005	DBLP DOI BibTeX RDF
2	Lantian Zheng, Andrew C. Myers	End-to-End Availability Policies and Noninterference.	CSFW	2005	DBLP DOI BibTeX RDF
2	Silvia Crafa, Sabina Rossi	A Theory of Noninterference for the pi-Calculus.	TGC	2005	DBLP DOI BibTeX RDF
2	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
2	Michael Backes, Birgit Pfitzmann	Computational probabilistic noninterference.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Security, Cryptography, Information flow, Non-interference, Simulatability
2	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
2	Heiko Mantel, David Sands	Controlled Declassification Based on Intransitive Noninterference.	APLAS	2004	DBLP DOI BibTeX RDF
2	David von Oheimb	Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.	ESORICS	2004	DBLP DOI BibTeX RDF
2	Stephen Chong, Andrew C. Myers	Security policies for downgrading.	ACM Conference on Computer and Communications Security	2004	DBLP DOI BibTeX RDF	information flow, security policies, noninterference, declassification, downgrading
2	Geoffrey Smith	Probabilistic Noninterference through Weak Probabilistic Bisimulation.	CSFW	2003	DBLP DOI BibTeX RDF
2	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
2	Calvin Ko, Timothy Redmond	Noninterference and Intrusion Detection. (PDF / PS)	IEEE Symposium on Security and Privacy	2002	DBLP DOI BibTeX RDF
2	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
2	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
2	Gérard Boudol, Ilaria Castellani	Noninterference for Concurrent Programs.	ICALP	2001	DBLP DOI BibTeX RDF
2	Sylvan Pinsky, Edward Zieglar	Noninterference Equations for Nondeterministic Systems.	CSFW	2001	DBLP DOI BibTeX RDF
2	A. W. Roscoe, M. H. Goldsmith	What Is Intransitive Noninterference? (PDF / PS)	CSFW	1999	DBLP DOI BibTeX RDF
2	Jane Sinclair	Action Systems for Security Specification.	CSFW	1996	DBLP DOI BibTeX RDF	security development, formal methods, noninterference, Action systems
2	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems. (PDF / PS)	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
1	Carroll Morgan	Compositional noninterference from first principles.	Formal Asp. Comput.	2012	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo	Component-oriented verification of noninterference.	Journal of Systems Architecture - Embedded Systems Design	2011	DBLP DOI BibTeX RDF
1	Conghua Zhou, Meiling Cao, Meng Ye, Zhihao Qian	SAT-based Algorithmic Verification of Noninterference.	JCP	2011	DBLP DOI BibTeX RDF
1	Heiko Mantel	Information Flow and Noninterference.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Cong Sun, Liyong Tang, Zhong Chen	Enforcing Reactive Noninterference with Reachability Analysis.	ITNG	2011	DBLP DOI BibTeX RDF
1	Yoshio Ishiguro, Jun Rekimoto	Peripheral vision annotation: noninterference information presentation method for mobile augmented reality.	AH	2011	DBLP DOI BibTeX RDF
1	Heiko Mantel, David Sands, Henning Sudbrock	Assumptions and Guarantees for Compositional Noninterference.	CSF	2011	DBLP DOI BibTeX RDF	Assumption-Guarantee, Compositional Verification, Flow-Sensitivity, Information Flow Security
1	Ron van der Meyden, Chenyi Zhang	A comparison of semantic models for noninterference.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Daniel Wasserrab	Information Flow Noninterference via Slicing.	Archive of Formal Proofs	2010	DBLP BibTeX RDF
1	Annabelle McIver, Larissa Meinicke, Carroll Morgan	Compositional closure for Bayes Risk in probabilistic noninterference	CoRR	2010	DBLP BibTeX RDF
1	Chenyi Zhang	Unwinding Conditional Noninterference	CoRR	2010	DBLP BibTeX RDF
1	Annabelle McIver, Larissa Meinicke, Carroll Morgan	Compositional Closure for Bayes Risk in Probabilistic Noninterference.	ICALP	2010	DBLP DOI BibTeX RDF
1	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
1	Mohit Tiwari, Xun Li 0001, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood	Gate-Level Information-Flow Tracking for Secure Architectures.	IEEE Micro	2010	DBLP DOI BibTeX RDF	covert channels, noninterference, high-assurance systems, timing channels, information-flow tracking
1	Thuy Duong Vu	Thread algebra for noninterference.	ITA	2009	DBLP DOI BibTeX RDF
1	Robert Grabowski, Lennart Beringer	Noninterference with Dynamic Security Domains and Policies.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Ron van der Meyden	Architectural Refinement and Notions of Intransitive Noninterference.	ESSoS	2009	DBLP DOI BibTeX RDF
1	Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer	An annotation assistant for interactive debugging of programs with common synchronization idioms.	PADTAD	2009	DBLP DOI BibTeX RDF	synchronization idioms, concurrent programs, atomicity
1	Aslan Askarov, Andrei Sabelfeld	Catch me if you can: permissive yet secure error handling.	PLAS	2009	DBLP DOI BibTeX RDF	exception handling, security type system
1	Limin Jia, Steve Zdancewic	Encoding information flow in Aura.	PLAS	2009	DBLP DOI BibTeX RDF	access control, information flow control, declassification, security type system, authorization logic
1	Ravi Akella, Bruce M. McMillin	Model-Checking BNDC Properties in Cyber-Physical Systems.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Delphine Demange, David Sands	All Secrets Great and Small.	ESOP	2009	DBLP DOI BibTeX RDF
1	Alexander Lux, Heiko Mantel	Declassification with Explicit Reference Points.	ESORICS	2009	DBLP DOI BibTeX RDF
1	Geoffrey Smith	On the Foundations of Quantitative Information Flow.	FOSSACS	2009	DBLP DOI BibTeX RDF
1	Annabelle McIver	The Secret Art of Computer Programming.	ICTAC	2009	DBLP DOI BibTeX RDF	compositional security, refinement of ignorance, program semantics, Proofs of security
1	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus.	Logical Methods in Computer Science	2008	DBLP DOI BibTeX RDF
1	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus	CoRR	2008	DBLP BibTeX RDF
1	Ron van der Meyden, Chenyi Zhang	Information Flow in Systems with Schedulers.	CSF	2008	DBLP DOI BibTeX RDF	scheduler, information flow, noninterference
1	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
1	Francisco Bavera, Eduardo Bonelli	Type-based information flow analysis for bytecode languages with variable object field policies.	SAC	2008	DBLP DOI BibTeX RDF
1	Sruthi Bandhakavi, William H. Winsborough, Marianne Winslett	A Trust Management Approach for Flexible Policy Management in Security-Typed Languages.	CSF	2008	DBLP DOI BibTeX RDF	Lanugage Based Security, Information Flow, Trust Management
1	Jordi Diaz, Osvaldo Simeone, Yeheskel Bar-Ness	Asymptotic Analysis of Reduced-Feedback Strategies for MIMO Gaussian Broadcast Channels.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Sebastian Hunt, David Sands	Just Forget It - The Semantics and Enforcement of Information Erasure.	ESOP	2008	DBLP DOI BibTeX RDF
1	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
1	Dave King 0002, Boniface Hicks, Michael Hicks, Trent Jaeger	Implicit Flows: Can't Live with 'Em, Can't Live without 'Em.	ICISS	2008	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Marco Bernardo	Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.	WADS	2008	DBLP DOI BibTeX RDF
1	Alexander Lux, Heiko Mantel	Who Can Declassify?.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
1	Ana Almeida Matos, Gérard Boudol, Ilaria Castellani	Typing noninterference for reactive programs.	J. Log. Algebr. Program.	2007	DBLP DOI BibTeX RDF
1	Ilaria Castellani	State-oriented Noninterference for CCS.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Ron van der Meyden, Chenyi Zhang	Algorithmic Verification of Noninterference Properties.	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	Torben Amtoft, Anindya Banerjee	Verification condition generation for conditional information flow.	FMSE	2007	DBLP DOI BibTeX RDF	conditional information flow analysis, object invariants, verification condition generation
1	Anindya Banerjee, David A. Naumann, Stan Rosenberg	Towards a logical account of declassification.	PLAS	2007	DBLP DOI BibTeX RDF	information flow, confidentiality, aliasing
1	Scott F. Smith, 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
1	Kohei Honda, Nobuko Yoshida	A uniform type structure for secure information flow.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	The ?-calculus, type-based program analysis, typing system, secure information flow
1	Takaaki Tateishi, Naoshi Tabuchi	Secure Behavior of Web Browsers to Prevent Information Leakages.	APSEC	2007	DBLP DOI BibTeX RDF
1	Lennart Beringer, Martin Hofmann	Secure information flow and program logics.	CSF	2007	DBLP DOI BibTeX RDF
1	Alwyn Goodloe, Carl A. Gunter	Reasoning about Concurrency for Security Tunnels.	CSF	2007	DBLP DOI BibTeX RDF
1	Gurvan Le Guernic	Automaton-based Confidentiality Monitoring of Concurrent Programs.	CSF	2007	DBLP DOI BibTeX RDF
1	Paritosh Shroff, Scott F. Smith, Mark Thober	Dynamic Dependency Monitoring to Secure Information Flow.	CSF	2007	DBLP DOI BibTeX RDF