Quantification of integrity

DOI10.1017/S0960129513000595MaRDI QIDQ5740622zbMATH OpenFDO

Authors Michael R. Clarkson, Fred B. Schneider

Publication date 27 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129513000595

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Database theory (68P15) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Recommendations

• scientific article; zbMATH DE number 4197471
• scientific article; zbMATH DE number 928019
• A survey of integrity
• scientific article; zbMATH DE number 4035869
• Factorization of behavioral integrity
• Measures of vulnerability–the integrity family
• Partial integrity

Cites work

• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 3710076 (Why is no real title available?)
• scientific article; zbMATH DE number 107482 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 2046116 (Why is no real title available?)
• scientific article; zbMATH DE number 947197 (Why is no real title available?)
• A Mathematical Theory of Communication
• A per model of secure information flow in sequential programs
• A semantic approach to secure information flow
• ACHIEVING k-ANONYMITY PRIVACY PROTECTION USING GENERALIZATION AND SUPPRESSION
• Anonymity protocols as noisy channels
• Semantics of probabilistic programs
• k-ANONYMITY: A MODEL FOR PROTECTING PRIVACY

Cited in

(7)

• Measuring information integrity using belief min-entropy
• On the relation between differential privacy and quantitative information flow
• Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
• Quantitative information flow and applications to differential privacy
• Partial integrity
• Quantifying leakage in the presence of unreliable sources of information
• Squeeziness: an information theoretic measure for avoiding fault masking

Describes a project that uses

Uses Software

• PERL

This page was built for publication: Quantification of integrity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5740622)