Quantifying information leakage of randomized protocols (Q2517235): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Anonymity protocols as noisy channels / rank
 
Normal rank
Property / cites work
 
Property / cites work: Probability and Information / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elements of Information Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Mathematical Theory of Communication / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximizing Entropy over Markov Processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximizing entropy over Markov processes / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Foundations of Quantitative Information Flow / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative information flow as safety and liveness hyperproperties / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3141916 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional Closure for Bayes Risk in Probabilistic Noninterference / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abstract Channels and Their Robust Information-Leakage Ordering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Entropy and semivaluations on semilattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantifying Information Leakage of Randomized Protocols / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the complexity of computing maximum entropy for Markovian Models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Hidden-Markov program algebra with iteration / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Optimum Leakage Principle for Analyzing Multi-threaded Programs / rank
 
Normal rank

Revision as of 15:18, 10 July 2024

scientific article
Language Label Description Also known as
English
Quantifying information leakage of randomized protocols
scientific article

    Statements

    Quantifying information leakage of randomized protocols (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    17 August 2015
    0 references
    model checking
    0 references
    quantitative information flow
    0 references
    information leakage
    0 references
    Markov chain
    0 references
    Markov decision process
    0 references
    channel capacity
    0 references
    probabilistic system
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references