PRIVACY IN EVOLVING SOCIAL NETWORKS Ral Pardo, Musard Balliu, - - PowerPoint PPT Presentation

▶
privacy in evolving social networks
SMART_READER_LITE
LIVE PREVIEW

PRIVACY IN EVOLVING SOCIAL NETWORKS Ral Pardo, Musard Balliu, - - PowerPoint PPT Presentation

Oct 09, 2022 396 likes •687 views

PRIVACY IN EVOLVING SOCIAL NETWORKS Ral Pardo, Musard Balliu, Gerardo Schneider - @raparuldo NWPT 2015 DataBIN Data-driven Secure Business Intelligence FACEBOOK PRIVACY SETTINGS Imagine you only want your friends to know your location 2

slide-1
SLIDE 1

PRIVACY IN EVOLVING SOCIAL NETWORKS

  • @raparuldo

Raúl Pardo, Musard Balliu, Gerardo Schneider

DataBIN Data-driven Secure Business Intelligence

NWPT 2015

slide-2
SLIDE 2

2

FACEBOOK PRIVACY SETTINGS

Imagine you only want your friends to know your location

slide-3
SLIDE 3

3

FACEBOOK PRIVACY SETTINGS

slide-4
SLIDE 4

4

FACEBOOK PRIVACY SETTINGS

slide-5
SLIDE 5

5

FACEBOOK PRIVACY SETTINGS

slide-6
SLIDE 6

6

FACEBOOK PRIVACY SETTINGS

  • John's privacy settings
  • Raúl's privacy settings
slide-7
SLIDE 7

7

FACEBOOK PRIVACY SETTINGS

slide-8
SLIDE 8

8

SOCIAL NETWORK GRAPH

friendship colleague

slide-9
SLIDE 9

9

RELATIONSHIP-BASED ACCESS CONTROL

friendship colleague

slide-10
SLIDE 10

10

friendship colleague friendRequests

Nobody can know

SOCIAL NETWORK MODEL

slide-11
SLIDE 11

11

FORMAL LANGUAGES

  • Knowledge Based Logic - KBL
  • Privacy Policy Language - PPL

Kiϕ ∣ EGϕ ∣ SGϕ ∣ DGϕ ∣ CGϕ ϕ ::= p(⃗ t ) ∣ cm(i , j) ∣ an(i , j) ∣ ϕ∧ϕ ∣ ¬ϕ ∣ ∀ x.ϕ ∣ δ ::= δ∧δ ∣ ⟦ϕ⇒¬α⟧i ∣ ⟦¬α⟧i

slide-12
SLIDE 12

12

SATISFIABILITY - KBL

friendship colleague friendRequests

  • Bob knows Alice's location

⊨K Bob

  • Bob knows that Alice

knows Charlie's location

⊨K Bob K Alice

  • Alice and Bob know Bob's

location

⊨¬E{Alice, Bob}

slide-13
SLIDE 13

13

EXAMPLES - KBL

  • If I know a post, I know everyone who liked it

∀ x.∀ u.∀i. ∀η(K x post (η,u)∧Kilike(i,u, η)⇒ Kx like(i,u, η))

slide-14
SLIDE 14

14

CONFORMANCE - PPL

  • Nobody can know Bob's location

where Ag = {Alice, Bob, Charlie}

⊨C ⟦¬SAg∖ {Bob} ⟧Bob

friendship colleague friendRequests

slide-15
SLIDE 15

15

EXAMPLES - PPL

  • Only people who liked at least one of

Bob's posts can join his event

∀i .∀ η.⟦¬K Boblike(i ,Bob, η)⇒¬Pi

Bob joinEvent⟧Bob

slide-16
SLIDE 16

16

INSTANTIATIONS

slide-17
SLIDE 17

17

slide-18
SLIDE 18

18

EVT Facebook={post , share,like,sendFriendRequest ,...}

post( Alice ,η)∈KBBob ( Alice, Bob)∈AsharePosts ∀ j∈ Au KB' j=KB j∪{C Au share(Bob, Alice, η)} ⟨ ,{{Ai}i∈Σ, }, KB , , ⟩→

share(bob, post( Alice , η), Au)⟨ ,{{Ai}i∈Σ, }, KB' , , ⟩

share(Bob, post(Alice,η), Au)

EVENTS & RULES - FACEBOOK

slide-19
SLIDE 19

19

DYNAMICS - EPISTEMIC

slide-20
SLIDE 20

20

DYNAMICS - TOPOLOGICAL

Unfollow

slide-21
SLIDE 21

21

DYNAMICS - POLICY

Nobody can know Nobody can know

Not Privacy Preserving

slide-22
SLIDE 22

22

DOES A SN PRESERVE PRIVACY?

⊨C ⊨C e

Privacy Preserving

slide-23
SLIDE 23

23

PRIVACY IN REAL SOCIAL NETWORKS

slide-24
SLIDE 24

24

slide-25
SLIDE 25

25

  • Time-stamp all the elements
  • f the framework
  • Specify intervals of time in

privacy policies

⟦¬Kboss(i)location(i)⟧i

[18 :00,03:00, Daily ]

REAL-TIME

slide-26
SLIDE 26

26

SUMMARY

  • Formal Privacy Policy Framework (SEFM 2014)

– Social Network Model - SN – Knowledge Based Logic – KBL – Privacy Policy Language – PPL – Instantiations

  • Evolution of SNs (submitted to POST 2016)

– Formal definition – Privacy preservation – Applied to Facebook and Twitter

  • Current and Future work

– Relation to Kripke models – Implementation in Diaspora* – Adding Real-time

slide-27
SLIDE 27