Quantifying Information Flow in Cryptographic Systems

Provided by: Saarixx Labs
Topic: Security
Format: PDF
The authors provide a novel definition of quantitative information flow, called transmissible information, that is suitable for reasoning about informational-theoretically secure (or non-cryptographic) systems, as well as about cryptographic systems with their polynomially bounded adversaries, error probabilities, etc. Transmissible information captures deliberate communication between two processes, and it safely over-approximates the quantity of information that a process unintentionally leaks to another process. They show that transmissible information is preserved under universal composability, which constitutes the prevalent cryptographic notion of a secure implementation.

Find By Topic