on the age of pseudonyms in mobile ad hoc networks julien freudiger, mohammad hossein manshaei,...

40
On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

Upload: alexis-butler

Post on 03-Jan-2016

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

On the Age of Pseudonyms in Mobile Ad Hoc Networks

Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux

Infocom 2010

Page 2: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

2

Get LocationCellular networks

GPS

Wifi

IP

Share locationTwitter

Flickr

Google search

Foursquare

Loopt

Google Latitude

Ovi

Location-based Applications

Page 3: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

3

Context-based Applications

Sense neighborhood

Ad hoc communications

RFID

Communicate

Vehicular Networks

Proximity-based Social Networks

Opportunistic communications

Delay-tolerant networks

Page 4: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

4

Locality is one contextual informationmost useful when combined with others

Hyper-connected World

Page 5: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

5SPOTRANK by Skyhook wireless

• Provides insight into human behavior

• Enables localized services

• Helps city planners

Location

Page 6: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

6

“Understand urban construct through the interaction of its parts”

Petra Kempf, Architect and Urban Designer

You Are the City

Page 7: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

7

Privacy Threat

Human movement is highly predictable and follows simple reproducible patterns

Visited locations reveal– Personal activities– Professional activities– Social activities

C. Song, Z. Qu, N. Blumm and A.-L.Barabasi. Limits of Predictability in Human Mobility. Science 2010

Page 8: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

8

Location is identity

Page 9: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

9

“It’s not where you are, it’s where you have been”

Gary Gale, Yahoo

Page 10: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

10

GOALControl location disclosure

Page 11: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

11

This Paper

Consider– Context-based applications– Ad hoc wireless communications– Mix zones to prevent tracking of users

Contribution– Measure achieved location privacy

using the distribution of age of pseudonyms

Page 12: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

12

Ad Hoc Networks(Peer-to-Peer Wireless Communications)

1 2

Message Signature + certificateIdentifierPseudonym

Page 13: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

Assumptions

N mobile nodes

WiFi/Bluetooth enabled

Ad hoc communications

13

3

2

1

5

4

6Certification authority (CA)

Page 14: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

14

Threat: Tracking

21

Global passive eavesdroppertracks location of mobile nodes

Page 15: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

15

Solution: Mix Zones

Mix zone

2121

xy?

A. Beresford and F. Stajano. Mix Zones: user privacy in location aware services. Percom, 2004M. Li et al. Swing and Swap: User-centric approaches towards maximizing location privacy . WPES, 2006

Temporal decorrelation: Change pseudonymSpatial decorrelation: Remain silent

Page 16: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

Gain and Cost

16

Gain• Tracking uncertainty of adversary (entropy)• Depends on number of nodes in mix zone and trajectory

Cost γ • Obtain new pseudonym• Update routing tables• Silent period

Page 17: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

17

Mix ZonesMix network

Mix networks vs Mix zones

Mixnode

Mixnode

Mixnode

Alice Bob

Alice source

Alice destination

Page 18: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

18

The Problem

Can we measure the location privacy achieved with a network of mix zones?

Page 19: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

19

Outline

1. Age of Pseudonym: A Metric for Location Privacy

2. Dynamical System: Mean Field Equations

3. Analytical Results

4. Numerical Results

Page 20: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

20

Age of Pseudonym

• Adversary can track nodes between mix zones• Mix zone = confusion point

Mix zone 1

Mix zone 2

TRACEABLE

Older age of pseudonym results in lower location privacy

Age of Pseudonym Location Privacy

Page 21: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

Evolution of Age of Pseudonym

21

2

E2

1

E1

E2 :SuccessE1: Success1t 2t

t

( )iZ t

E3:Failure3t

3E3

t

0

Age:

A

Page 22: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

22

Outline

1. Age of Pseudonym: A Metric for Location Privacy

2. Dynamical System: Mean Field Equations

3. Analytical Results

4. Numerical Results

Page 23: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

23

Mean Field Theory

Replace interactions between nodes with average interaction

M. Benaım and J.-Y. Le Boudec. A class of mean field interaction models for computer and communication systems. Performance Evaluation, 65(11-12):823–838, 2008

Page 24: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

24

Goal

• Measure probability distribution of a certain state– CDF of the age of pseudonym

• Mean field theory says“CDF is known to satisfy ordinary differential

equations when N goes to infinity”

Page 25: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

25

Model Parameters

Communication model– : Communication rate

Mobility Model– η: Rate of meetings– : Average number of nodes in meetings

Cooperation model– c(z): Probability of cooperation at age z

Page 26: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

26

Mean Field Equations: Drift Process

F

z

At each time step, the age of pseudonym is incremented with rate

26

1tt

( )iZ t

0: i

u Zz

Page 27: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

01: j

u Zz

Mean Field Equations: Jump Process (1)can successfully change its pseudonym

2tt

( )iZ t

ju

1t

1 { }0

( ) ( )(1 1 ) ( , )x z

Fc x q t x t dx

x

c(z): Probability of cooperation of node with age zq(t): Probability of finding at least one cooperative node: Rate of meetings

27

Page 28: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

28

02:

z

Zz

2( )(1 ( )) ( , )

z

z

Fc x q t x t dx

x

Mean Field Equations: Jump Process (2)

ku

t

( )iZ t

1t

2t

cannot find a cooperative partnerku

Page 29: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

29

1 2

F

t

Mean Field Equations

( , ) 1,F t t

F

z

2( )(1 ( )) ( , )

z

z

Fc x q t x t dx

x

1 { }0

( ) ( )(1 1 ) ( , )x z

Fc x q t x t dx

x

Page 30: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

30

Outline

1. Age of Pseudonym: A Metric for Location Privacy

2. Dynamical System: Mean Field Equations

3. Analytical Results

4. Numerical Results

Page 31: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

31

Stationary mode (t goes to infinity)

Cooperation is a threshold function

( )c z

z

1

0c

( , )0

F z t

t

Page 32: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

32

Mean Field Equation

0

( ) ( ) (1 ) ( ) ( ) 0

( ) 1

dfc z f z q c z f z

dz

f z dz

Page 33: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

33

Solution: PDF of the Age of Pseudonyms

( 1)m z m

Page 34: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

34

Outline

1. Age of Pseudonym: A Metric for Location Privacy

2. Dynamical System: Mean Field Equations

3. Analytical Results

4. Numerical Results

Page 35: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

35

GammaCost of Pseudonym change

Constant -- f(0)

Exponential

Exponential X Polynomial

Result 1: High results in older pseudonym distribution because of second jump process

= 5, =1, c0=1

Page 36: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

36

ThetaCooperation Threshold

Result 2: High results in older pseudonym distribution because there is less cooperation.

= 5, =1, c0=1

Page 37: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

37

LambdaCommunication rate

Result 3: High results in older pseudonym distribution because pseudonym ages faster.

= 1, =5, c0=1

Page 38: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

38

Average number of nodes in meeting

Result 4: High N results in younger pseudonym distribution because it is easier to find cooperative nodes.

= 1, =5, c0=1, =1

Page 39: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

39

Model Validation

• Random walk model• 10km X 10km• Transmission range: 100 meters• Run simulation until convergence

Page 40: On the Age of Pseudonyms in Mobile Ad Hoc Networks Julien Freudiger, Mohammad Hossein Manshaei, Jean-Yves Le Boudec and Jean-Pierre Hubaux Infocom 2010

Conclusion

• Developed a framework to measure the distribution of age of pseudonyms

• Main result: Possible to design system with low distribution of age of pseudonym

• Obtained a fundamental building block of location-privacy-preserving systems

40

lca.epfl.ch/privacy

twitter.com/jfreudiger