Computer Science – Cryptography and Security
Scientific paper
2011-11-09
Computer Science
Cryptography and Security
thesis, ISBN: 978-94-91211-74-4
Scientific paper
This thesis addresses the foundational aspects of formal methods for applications in security and in particular in anonymity. More concretely, we develop frameworks for the specification of anonymity properties and propose algorithms for their verification. Since in practice anonymity protocols always leak some information, we focus on quantitative properties, which capture the amount of information leaked by a protocol. The main contribution of this thesis is cpCTL, the first temporal logic that allows for the specification and verification of conditional probabilities (which are the key ingredient of most anonymity properties). In addition, we have considered several prominent definitions of information-leakage and developed the first algorithms allowing us to compute (and even approximate) the information leakage of anonymity protocols according to these definitions. We have also studied a well-known problem in the specification and analysis of distributed anonymity protocols, namely full-information scheduling. To overcome this problem, we have proposed an alternative notion of scheduling and adjusted accordingly several anonymity properties from the literature. Our last major contribution is a debugging technique that helps on the detection of flaws in security protocols.
No associations
LandOfFree
Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-43447