Probabilistic interference

No abstract is available for this paper.

• Publication year

  1990

• Venue

  Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/RISP.1990.63848
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Noninterference and unwinding for LOCK

  1989cited by this paper
• Noninterference and the composability of security properties

  1988cited by this paper
• Quantitative Hook-Up Security for Covert Channel Analysis

  1988cited by this paper
• Covert Channels and Degrees of Insecurity

  1988cited by this paper
• Specifications for Multi-Level Security and a Hook-Up

  1987cited by this paper
• Unwinding and Inference Control

  1984cited by this paper
• Security Policies and Security Models

  1982cited by this paper
• Synchronization with eventcounts and sequencers

  1979cited by this paper
• Concurrent reading and writing

  1977cited by this paper

• Minimising the Probabilistic Bisimilarity Distance

  2024cites this paper
• The present work was submitted to the LuFG Theory of Hybrid Systems

  2020cites this paper
• Quantitative Information Flow with Monads in Haskell

  2020influential citation
• Statistical Model Checking for Hyperproperties

  2019cites this paper
• The Complexity of Verifying Loop-Free Programs as Differentially Private

  2019cites this paper
• Timed Automata for Security of Real-Time Systems

  2019cites this paper
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

  2018cites this paper
• Fault-Resilient Non-interference

  2016cites this paper
• Information Security as Strategic (In)effectivity

  2016cites this paper
• Technical Report – Computational Probabilistic Non-Interference ( Long Version ) ⋆

  2015cites this paper
• Strategic Noninterference

  2015cites this paper
• Technical Report : Quantifying Probabilistic Information Flow in Computational Reactive Systems ( Long Version )

  2015cites this paper
• A Methodology for Information Flow Experiments

  2014cites this paper
• Leakage in Trustworthy Systems

  2014cites this paper
• Security via Noninterference

  2014cites this paper
• Fault-Tolerant Non-interference Extended Version

  2014cites this paper
• Information Flow Control for Secure Cloud Computing

  2014cites this paper
• Quantum Information-Flow Security: Noninterference and Access Control

  2013influential citation
• Slicing of Concurrent Programs and its Application to Information Flow Control

  2012cites this paper
• Foundations of web script security

  2012cites this paper
• Secure information flow via stripping and fast simulation

  2011cites this paper
• Systems and Software Engineering— Systems and Software Assurance— Part 1: Concepts and Vocabulary

  2011cites this paper
• Quantification and Formalization of Security

  2010cites this paper
• Hyperproperties

  2010cites this paper
• The complexity of synchronous notions of information flow security

  2010cites this paper
• On the Foundations of Quantitative Information Flow

  2009cites this paper
• Reactive noninterference

  2009cites this paper
• Software model checking for confidentiality

  2009cites this paper
• Automated Analysis of Java Methods for Confidentiality

  2009cites this paper
• Operating System Security

  2008cites this paper
• Automated Analysis of Programs for Confidentiality

  2008cites this paper
• Fast probabilistic simulation, nontermination, and secure information flow

  2007cites this paper
• Making Distributed Computation Secure by Construction

  2007cites this paper
• RAPPORT TECHNIQUE PROUVÉ Retour d’Expérience sur la Validation du Vote Électronique

  2007cites this paper
• Decidability of Parameterized Probabilistic Information Flow

  2007cites this paper
• Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme

  2005cites this paper
• A Probabilistic Property-Specific Approach to Information Flow

  2005cites this paper
• Quantifying Probabilistic Information Flow in Computational Reactive Systems

  2005cites this paper
• On Quantitative Analysis of Probabilistic Protocols

  2004cites this paper
• A Quantitative Approach to Noninterference for Probabilistic Systems

  2004cites this paper
• Non-Interference For Weak Observers

  2004cites this paper
• Language-based information-flow security

  2003cites this paper
• Notice of Violation of IEEE Publication PrinciplesWhich models should be applied to measure computer security and information assurance?

  2003cites this paper
• Confidentiality for Multithreaded Programs via Bisimulation

  2003cites this paper
• Domain Separation by Construction

  2003cites this paper
• Statically assuring secrecy for dynamic concurrent processes

  2003cites this paper
• Programming Languages for Information Security

  2002cites this paper
• Computational probabilistic noninterference

  2002cites this paper
• PROGRAMMING LANGUAGES FOR INFORMATION

  2002cites this paper
• Approximate non-interference

  2002cites this paper
• Cryptographically sound analysis of security protocols

  2002cites this paper
• Two Formal Approaches for Approximating Noninterference Properties

  2001cites this paper
• Probabilistic confinement in a declarative framework

  2001cites this paper
• Secrecy for Mobile Implementations of Security Protocols

  2001cites this paper
• On confidentiality and algorithms: programming under the constraints of noninterference

  2001cites this paper
• Probabilistic noninterference for multi-threaded programs

  2000cites this paper
• Secure Information Flow as Typed Process Behaviour

  2000cites this paper
• Protecting privacy using the decentralized label model

  2000cites this paper
• A Per Model of Secure Information Flow in Sequential Programs

  1999cites this paper
• Confinement properties for programming languages

  1998cites this paper
• Probabilistic noninterference in a concurrent language

  1998cites this paper
• Con(cid:12)nement Properties for Programming Languages (cid:3)

  1998cites this paper
• Secure information flow in a multi-threaded imperative language

  1998cites this paper
• Language Issues in Mobile Program Security

  1998cites this paper
• From security to safety and back

  1998cites this paper
• Action systems, determinism and the development of secure systems

  1998cites this paper
• On the composition of security properties

  1997cites this paper
• A theory for system security

  1997cites this paper
• A Trusted Subject Architecture for Multilevel Secure Object-Oriented Databases

  1996cites this paper
• Handbook for the Computer Security Certification of Trusted Systems Chapter 1 : Overview Chapter 2 : Development Plan

  1995cites this paper
• Security models

  1994cites this paper
• Conceptual foundations for a model of task-based authorizations

  1994cites this paper
• The formal development of secure systems

  1992cites this paper
• The channel capacity of a certain noisy timing channel

  1992cites this paper
• A classical automata approach to noninterference type problems

  1992cites this paper
• Variable noise effects upon a simple timing channel

  1991cites this paper
• The Turing Test and non-information flow

  1991cites this paper
• A Uniform Presentation of Confidentiality Properties

  1991cites this paper
• Information sharing in secure systems

  1990cites this paper
• Quotient states and probabilistic channels

  1990cites this paper