Title :
A calculus of conditional independence and its applications in cryptography
Author_Institution :
Dept. of Comput. Sci., ETH Zurich, Switzerland
Abstract :
We present a simple calculus for deriving conditional independence relations of events and random variables and show how it can be applied to simplify, generalize and sometimes strengthen cryptographic security proofs relying on the indistinguishability of certain types of probabilistic constructions relevant in cryptography
Keywords :
calculus of communicating systems; cryptography; random processes; calculus; conditional independence relations; cryptographic security proofs; cryptography; probabilistic constructions; random variables; Calculus; Computer science; Cryptography; Equations; Graphics; Probability; Random variables; Security;
Conference_Titel :
Information Theory, 2000. Proceedings. IEEE International Symposium on
Conference_Location :
Sorrento
Print_ISBN :
0-7803-5857-0
DOI :
10.1109/ISIT.2000.866541
