Download presentation

Presentation is loading. Please wait.

Published byTalon Peirce Modified over 3 years ago

1
Computing the Leakage of Information-Hiding Systems Miguel E. Andrés Catuscia Palamidessi Radboud University, The Netherlands INRIA and LIX, France Peter Van Rossum Geoffrey Smith Radboud Univeristy, The Netherlands SCIS, USA

2
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 2 Motivation Information Hiding The problem of constructing protocols or programs that protect sensitive information from being deduced by some adversary Anonymity: Design mechanisms to prevent an observer of network traffic from deducing who is comunicating Secure Information Flow: Prevent programs from leaking their secret input to an observer of their public output Example : Crowds

3
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 3 Motivation Quantitative Approach (Information Theory) IHS’s as noisy channels y1y1 … ynyn X1X1 P(y 1 |x 1 )... P(y n |x 1 ) … … xmxm P(y 1 |x m )P(y n |x m ) Channel Matrix YXNoisy Channel TransmitterReceiver P(y | x) inherent fixed property of the communication channel Protocol or Program Channel Matrix C Secrets S Observables O πsπs P(o 1 | s 1 ) P(o m | s 1 ) o1o1 o2o2 omom s1s1 s2s2 snsn Noisy Channel o1o1 … onon S1S1 P(o 1 |s 1 )... P(o n |s 1 ) … … SmSm P(o 1 |s m )P(o n |s m )

4
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 4 Motivation Information Leakage Information Leakage Vulnerability (in one try) A priori vulnerability A posteriori vulnerability Multipilicative Leakage Maximum Leakage L x (C, π ) = V(S|O) / V(S) L + (C, π ) = V(S|O) - V(S) V(S)=max π (s) s Additive Leakage ML x (C) = max L x (C, π ) and ML + (C) = max L + (C, π ) π ∈ D (S) π ∈ D (S) Leakage is defined in terms of the channel matrix C! o s o s V(S|O) = ∑ max P(s|o)×P(o) = ∑ max C(o|s)× π (s)

5
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 5 Motivation What we do (contributions) Model IHS’s using automata We present two techniques to compute the channel matrix and leakage of an IHS Reachability Analysis Quantitative Counterexample Generation oAlso providing approximation oAlso providing feedback for debugging Show how to use our techniques to compute and approximate leakage of different different form of IHS’s Show that for interactiving IHS’s the definition of associated channel proposed in literature is not sound. However, we note that it is still possible to define its leakage in a consistent way and show that our methods extend smoothly to this case.

6
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 6 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

7
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 7 I = ( M, A s, A o, A τ ) where M =(Q, A, δ ) is a probabilistic automaton A s, A o, and A τ are disjoint sets of secret, observable, and internal actions δ satisfies: Secret actions can occur only at the beginning Only internal actions can occur in cycles Assume a known a priori distribution π Probabilistic automata Information-hiding systems Information-hiding systems as automata M = (Q, A, δ ) where Q is a finite set of states A a finite set of actions δ : Q → D (A × Q) is the transition function Paths represent possible evolutions of the automaton, each path has an associated probability

8
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 8 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

9
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 9 Goal: compute channel matrix C Solution: system of linear equations Lema: Reachability analysis approach o1o1 … onon S1S1 P(o 1 |s 1 )... P(o n |s 1 ) … … SmSm P(o 1 |s m )P(o n |s m ) Note P(o|s)=P(o ˄ s)/ π (s) We need to compute the probability of seeing o and s (for all o and s) o1o1 … onon S1S1 P(o 1 ˄ s 1 )... P(o n ˄ s 1 ) … … SmSm P(o 1 ˄ s m )P(o n ˄ s m ) Channel MatrixMatrix of joint Probabilities P(o i |s j )=P(o i ˄ s j )/ π (s j )

10
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 10 Reachability analysis approach Example Complexity O ( (|obs| × |Q|)³) In general O ( |obs| × |Q|³ ) Some Scenarios (e.g observables at the end) b a 1/421/209/40 1/49/4021/40 UBA Channel Matrix Solution

11
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 11 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

12
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 12 Idea Partial Matrices Properties Lim C k = C Lim L(C k / π, π) = L(C/ π, π ) L(C k / π, π ) ≤ L(C/ π, π ) ≤ L(C k / π, π ) + g(C k ) for all k (g is decreassing) Motivation Borrow ideas and tools from prob counterexample generation Provide approximation (with upper and low bounds) It allows to identify high-leakage sources Idea Iterative approach k → ∞ k → ∞ k → ∞ C 0 (o ˄ s) = 0, C k+1 (o ˄ s) = C k (o ˄ s) + P( σ k+1 ) if o-trace( σ k+1 )=o and s-trace( σ k+1 )=s, C k (o ˄ s) otherwise. with σ 1, σ 2, … the paths of the system P(o n ˄ s m )P(o 1 ˄ s m ) SmSm … … P(o n ˄ s 1 )... P(o 1 ˄ s 1 ) S1S1 onon … o1o1 P(o n ˄ s m )P(o 1 ˄ s m ) SmSm … … P(o n ˄ s 1 )... P(o 1 ˄ s 1 ) S1S1 onon … o1o1

13
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 13 C k (o ˄ s) + P(r k+1 ) if o-trace(r k+1 )=o and s-trace(r k+1 )=s C k (o ˄ s) otherwise Idea: Translate M into an equivalent regular expression r M =r 1 + r 2 +... + r n Each r i represents a set of paths Paths-r i of M Each r i has a probability and P(r i )=P(Paths-r i ) Example Partial Matrices (with regexps) Iterative approach [regexps] ≡ where M ≡ r 1 + … +r n C 0 (o ˄ s) = 0, C k+1 (o ˄ s) =

14
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 14 Idea: Group together paths that only differ in the way they traverse SCC 1. Abstract away SCC of M (we do it in such a way that the observable behaviour of the automaton does not change) obtaining an acyclic model Ac(M) 2. Construct the partial matrix of Ac(M) instead of M Example Partial Matrices (with SCC analysis) Iterative approach [SCC analysis] ≡ MAc(M) Obs Paths of Ac(M) Abstract SCCs C 0 (o ˄ s) = 0, C k+1 (o ˄ s) = C k (o ˄ s) + P( σ k+1 ) if o-trace( σ k+1 )=o and s-trace( σ k+1 )=s, C k (o ˄ s) otherwise. where σ 1, σ 2, …, σ n are the paths of Ac(M)

15
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 15 Debugging SCC technique REGEXPS technique Goal: Identify sources of high leakage (debugging) Idea: Example Iterative approach [Identifying high-leakage sources] Matrix of joint probabilities O1O1 O2O2 O3O3 S1S1 P(o1˄s1)P(o1˄s1)P(o2˄s1)P(o2˄s1)P(o3˄s1)P(o3˄s1) S2S2 P(o1˄s2)P(o1˄s2)P(o2˄s2)P(o2˄s2)P(o3˄s2)P(o3˄s2) S3S3 P(o1˄s3)P(o1˄s3)P(o2˄s3)P(o2˄s3)P(o3˄s3)P(o3˄s3) V(S|O) = P(o 1 ˄ s 2 )+P(o 2 ˄ s 1 )+P(o 3 ˄ s 2 ) V(S)=max π (s), V(S|O) = ∑ max C(o|s) × π (s) = ∑ max P(o ˄ s) s o s o s L x (C, π ) = V(S|O) / V(S), L + (C, π ) = V(S|O) - V(S) ABU a7/403/401/12 b3/207/201/6 1/3 × 21/40 × 1 = 7/40 1/3 × [ 3/7 ] × 1 = 1/7

16
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 16 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

17
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 17 Information-Hiding Systems with variable a priori IHS with variable a priori Lemma (The channel matrix is independet of π) For all π, ρ ∈ D (S) we have: P π (o | s)=P ρ (o | s), for all secrets s and observable o Maximum leakage Computation Multiplcative Leakage: easy taking π uniform distribution Additive Leakage: More difficult, we have to consider all corner points distribution Lemma: Computing maximum additive leakage is NP-complete I = ( M, A s, A o, A τ ) where M =(Q, A, δ ) is a non-deterministic automaton A s, A o, and A τ are disjoint sets of secret, observable, and internal actions δ satisfies: Non-determinism can occur only at the beginning Secret actions can occur only at the beginning Only internal actions can occur in cycles ML x (C) = max L x (C, π ) and ML + (C) = max L + (C, π ) π ∈ D (S) π ∈ D (S)

18
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 18 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

19
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 19 Idea: Secrets and observables can alternate Interactive IHS Example (eBay Protocol) A s ={poor, rich} A o ={cheap, expensive, sell, cancel} A τ ={} Interactive Information-Hiding Systems I = ( M, A s, A o, A τ ) where M =(Q, A, δ ) is a probabilistic automaton A s, A o, and A τ are disjoint sets of secret, observable, and internal actions δ satisfies: Transitions are either secret or observable (not both) Only internal actions can occur in cycles M

20
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 20 Interactive Information-Hiding Systems Observation: The channel matrix depends on the distribution over secrets Why? Consequence: We cannot model Interactive protocols as noisy channels. However we can still compute leakage Recall Then we compute o1o2 s1aa s2bb P(o 1 |s 1 )= p = a p+q P(o 1 |s 2 )= p = b p+q Channel Matrix Notation: p = 1 - p Depends on p and q !!! cheap sell cheap cancel expensive sell expensive Cancel poor8/252/251/252/75 rich1/51/1519/751/75 V(S)=max π (s), V(S|O) = ∑ max C(o|s) × π (s) = ∑ max P(o ˄ s) s o s o s A priori distribution Matrix of Joint Probabilities π (poor)=P(poor)= 7/15 π (rich) =P(rich) = 8/15

21
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 21 Overview Motivation Information-hiding systems as automata Reachability analysis approach Iterative approach Regular expressions techniques SCC analysis technique Identifying high-leakage sources Information-hiding systems with variable a priori Interactive information-hiding systems Future work

22
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 22 Future work Use tools from counterexamples generation to compute/approximate leakage of large scale protocols Try to identify flaws in protocols Extend the notion of noisy channel to capture the dynamic nature of interactive protocols Lift channel inputs from secrets to schedulers on secrets Use channels with history and/or feedback

23
ReSeCo - December 17 th 2009 FaMAF, Córdoba - Argentina Miguel E. Andrés Radboud University 23 Questions Thanks for your attention! Questions

Similar presentations

OK

Conjunctive Grammars and Alternating Automata Tamar Aizikowitz and Michael Kaminski Technion – Israel Institute of Technology WoLLIC 2008 Heriot-Watt University.

Conjunctive Grammars and Alternating Automata Tamar Aizikowitz and Michael Kaminski Technion – Israel Institute of Technology WoLLIC 2008 Heriot-Watt University.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on france in french Ppt on javascript events listeners Ppt on retail marketing strategy Ppt on micro channel heat exchanger Ppt on commercial use of microorganisms in the field Ppt on high voltage engineering jobs Ppt on sigma and pi bonds Ppt on current affairs 2012 Ppt on introduction to brand management Ppt on recycling of waste plastics