Quantifying information flow

No abstract is available for this paper.

• Publication year

  2002

• Venue

  Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15

• Publication date

  2002-06-24

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/CSFW.2002.1021804
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Security Property for Processes in Dynamic Contexts

  2002cited by this paper
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cited by this paper
• Information flow analysis in a discrete-time process algebra

  2000cited by this paper
• Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review)

  2000influential reference
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cited by this paper
• The Timed Failures-Stability Model for CSP

  1999cited by this paper
• Concurrent and Real-time Systems: The CSP Approach

  1999influential reference
• Non-interference properties for nondeterministic processes

  1997cited by this paper
• The Theory and Practice of Concurrency

  1997cited by this paper
• Comparing two information flow security properties

  1996cited by this paper
• CSP and determinism in security modelling

  1995cited by this paper
• An Operational Semantics for Timed CSP

  1995cited by this paper
• Classification of Security Properties - Part II: Network Security

  1993cited by this paper
• Toward a Mathematical Foundation for Information Flow Security

  1991cited by this paper
• A comparison of non-interference and non-deducibility using CSP

  1991cited by this paper
• A CSP formulation of non-interference and unwinding

  1991cited by this paper
• INTEGRITY-ORIENTED CONTROL OBJECTIVES: PROPOSED REVISIONS TO THE TRUSTED COMPUTER SYSTEM EVALUATION CRITERIA (TCSEC), DoD 5200.28-STD

  1991cited by this paper
• Information flow in nondeterministic systems

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

  1988cited by this paper
• Covert Channel Capacity

  1987cited by this paper
• Refusal Testing

  1986cited by this paper
• Testing Equivalences for Processes

  1984influential reference

• Quantifying and Mitigating Cache Side Channel Leakage with Differential Set

  2023cites this paper
• Bounds on the leakage of the input ’ s distribution in information-hiding protocols

  2019cites this paper
• Quantifying Information Flow in Interactive Systems

  2019cites this paper
• Proactive Vulnerability Discovery and Assessment in Smart, Connected Systems Through Systematic Problem Analysis

  2018cites this paper
• Static Evaluation of Noninterference Using Approximate Model Counting

  2018cites this paper
• Modeling and Analyzing Information Flow in Development Teams as a Pipe System

  2018influential citation
• Widths of Regular and Context-Free Languages

  2017cites this paper
• Securing Databases from Probabilistic Inference

  2017cites this paper
• An Approach for Identifying and Analyzing Implicit Interactions in Distributed Systems

  2017cites this paper
• Knowledge Transfer and Information Leakage in Protocols

  2017cites this paper
• Formal Foundations for Access and Inference Control in Databases

  2017cites this paper
• Identifying Implicit Component Interactions in Distributed Cyber-Physical Systems

  2017cites this paper
• Data Minimisation: A Language-Based Approach

  2016cites this paper
• Information, Processes and Games

  2016cites this paper
• Mitigating covert channels based on analysis of the potential for communication

  2016cites this paper
• A Type System for Quantified Information-Flow Security in Java-Like Languages

  2016cites this paper
• Tools for the Evaluation and Choice of Countermeasures against Side-Channel Attacks

  2016cites this paper
• Rigorous analysis of software countermeasures against cache attacks

  2016cites this paper
• Differential Privacy and Security

  2016cites this paper
• Sound and Practical Methods for Full-System Timing Channel Control

  2015cites this paper
• Building Distributed Systems with Informational Flow Control

  2015cites this paper
• Investigative support for information confidentiality

  2015cites this paper
• Mathematical Modeling of User Perception in Information Security Systems

  2015influential citation
• Covert Channels with Sequential Transducers ⋆

  2015cites this paper
• Information Flow Quantification Framework for Cyber Physical System with Constrained Resources

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

  2015cites this paper
• Sampling automata and programs

  2015cites this paper
• Conditional anonymity with non-probabilistic adversary

  2015cites this paper
• Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis

  2015cites this paper
• Minimum guesswork discrimination between quantum states

  2014cites this paper
• Quantifying information flow in cryptographic systems

  2014cites this paper
• Algebraic foundations for quantitative information flow

  2014cites this paper
• A Formulation of the Potential for Communication Condition using C2KA

  2014cites this paper
• A Bayesian Approach to Privacy Enforcement in Smartphones

  2014cites this paper
• Information theoretical analysis of bounded and unbounded channels in programming languages

  2013influential citation
• Automation of Quantitative Information-Flow Analysis

  2013cites this paper
• Corso di Laurea magistrale in Informatica - Computer Science

  2013cites this paper
• Security Downgrading Policies for Competitive Bidding System

  2012cites this paper
• Information flow analysis by abstract interpretation

  2012cites this paper
• Tracking Information Flows in Interactive and Object-Oriented Programs

  2012cites this paper
• A Perspective on Information-Flow Control

  2012cites this paper
• Informational Analysis of Security and Integrity

  2012cites this paper
• Measure Transformer Semantics for Bayesian Machine Learning

  2011cites this paper
• Information-Theoretic Bounds for Differentially Private Mechanisms

  2011cites this paper
• Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems

  2011cites this paper
• COMPARISON OF MEASURING INFORMATION LEAKAGE FOR FULLY PROBABILISTIC SYSTEMS

  2011cites this paper
• Automatically deriving information-theoretic bounds for adaptive side-channel attacks

  2011cites this paper
• Deliverable D3.1 Confidentiality and Integrity Policies

  2011cites this paper
• Gained and Excluded Private Actions by Process Observations

  2011cites this paper
• Probabilistic timing covert channels: to close or not to close?

  2011cites this paper
• Leakage via Protocol-Based Covert Channels : Detection , Automation , and Applications

  2011cites this paper
• Multi-run Security

  2011cites this paper
• Non-uniform distributions in quantitative information-flow

  2011cites this paper
• Practical automatic determination of causal relationships in software execution traces

  2011cites this paper
• Exploring Covert Channels

  2011cites this paper
• Limiting information leakage in event-based communication

  2011influential citation
• Quantification and Formalization of Security

  2010cites this paper
• Quantication of Integrity

  2010cites this paper
• A semiring-based trace semantics for processes with applications to information leakage analysis

  2010cites this paper
• Modeling, Analysis, and Detection of Information Leakage via Protocol-Based Covert Channels

  2010cites this paper
• Quantifying Information Leakage for Fully Probabilistic Systems

  2010cites this paper
• Automated Software Protection through Program Externalization on Memory-Limited Secure Devices

  2010cites this paper
• Implicit flows in malicious and nonmalicious code

  2010cites this paper
• Quantitative Information Flow for Security : A Survey Technical Report : TR-08-06 ( updated on 2010 )

  2010influential citation
• Predictive black-box mitigation of timing channels

  2010cites this paper
• Risk assessment of security threats for looping constructs

  2010cites this paper
• Adjoining classified and unclassified information by abstract interpretation

  2010cites this paper
• Distance makes the types grow stronger: a calculus for differential privacy

  2010cites this paper
• Jensen-Shannon Divergency as a Measure of Information Flow in Reactive Processes Technical Report : TR-09-07

  2010influential citation
• On the computation of covert channel capacity

  2010cites this paper
• Covert Channel Synthesis for Transducers

  2010cites this paper
• Anonymity, information, and machine-assisted proof

  2010cites this paper
• The Analysis and Research on Information Flow in Computer Network

  2010cites this paper
• Automatic analysis of distance bounding protocols

  2010cites this paper
• Approximation and Randomization for Quantitative Information-Flow Analysis

  2010cites this paper
• Provable protection of confidential data in microkernel based systems

  2010cites this paper
• Quantifying information flow with constraints

  2010influential citation
• Quantifying information flow with beliefs

  2009cites this paper
• Monitoring and Supervisory Control for Opacity Properties

  2009cites this paper
• Bounds on the Leakage of the Input's Distribution in Information-Hiding Protocols

  2009cites this paper
• The Optimum Leakage Principle for Analyzing Multi-threaded Programs

  2009cites this paper
• Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels

  2009cites this paper
• Information Flow Model for Commercial Security

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

  2009cites this paper
• Automatic Discovery and Quantification of Information Leaks

  2009cites this paper
• Quantitative Analysis of Secure Information Flow via Probabilistic Semantics

  2009cites this paper
• Measuring the strength of information flows in programs

  2009cites this paper
• Measuring Information Flow in Reactive Processes

  2009cites this paper
• Secure information flow: analysis and enforcement

  2009cites this paper
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique

  2009cites this paper
• Quantifying Security for Timed Process Algebras

  2009cites this paper
• A Provably Secure and Efficient Countermeasure against Timing Attacks

  2009cites this paper
• Declassification: Dimensions and principles

  2009cites this paper
• Abstract Non-Interference

  2008cites this paper
• Trusted Declassification : Policy Infrastructure for a Security-Typed Language

  2008cites this paper
• Preservation of probabilistic information flow under refinement

  2008cites this paper
• Lagrange multipliers and maximum information leakage in different observational models

  2008cites this paper
• Expressive and Enforceable Information Security Policies

  2008cites this paper
• Détection d'intrusions paramétrée par la politique de sécurité grâce au contrôle collaboratif des flux d'informations au sein du système d'exploitation et des applications : mise en œuvre sous Linux pour les programmes Java

  2008cites this paper
• Compositional methods for information-hiding †

  2008cites this paper