controlling data flow with a policy based programming
play

Controlling Data Flow with a Policy-Based Programming Language for - PowerPoint PPT Presentation

Mar 14, 2023 •346 likes •1.24k views

Controlling Data Flow with a Policy-Based Programming Language for the Web Thierry Sans Iliano Cervesato Soha Hussein Privacy from the users perspective 85GA7 Privacy from the users perspective 85GA7 Privacy from the users

  1. Controlling Data Flow with a Policy-Based Programming Language for the Web Thierry Sans Iliano Cervesato Soha Hussein

  2. Privacy from the user’s perspective 85GA7

  3. Privacy from the user’s perspective 85GA7

  4. Privacy from the user’s perspective 85GA7

  5. Privacy from the user’s perspective 85GA7

  6. Privacy from the user’s perspective 85GA7

  7. Privacy from the user’s perspective 85GA7

  8. Privacy from the user’s perspective 85GA7

  9. Privacy from the user’s perspective Should I use this app? How does this app use my data? 85GA7

  10. Privacy from the user’s perspective Should I use this app? How does this app use my data? 85GA7

  11. Privacy from the user’s perspective Should I use this app? How does this app use my data? App’s Privacy Policy 85GA7

  12. Privacy from the user’s perspective Should I use this app? How does this app use my data? User’s Privacy App’s Privacy Policy Expectations 85GA7

  13. Privacy from the user’s perspective Should I use this app? How does this app use my data? User’s Privacy App’s Privacy Policy Expectations 85GA7

  15. Privacy from the web developer’s perspective

  16. Privacy from the web developer’s perspective How to write my privacy policy?

  17. Privacy from the web developer’s perspective How to write my privacy policy?

  18. Can we generate a privacy policy automatically?

  19. Can we generate a privacy policy automatically? Based on the privacy policies of third party service providers ...

  20. Can we generate a privacy policy automatically? Based on the privacy policies of … and based on how the program third party service providers ... combines these services ...

  21. Can we generate a privacy policy automatically? Based on the privacy policies of … and based on how the program third party service providers ... combines these services ... … can we infer how user’s data will be used? *

  22. Can we generate a privacy policy automatically? Based on the privacy policies of … and based on how the program third party service providers ... combines these services ... … can we infer how user’s data will be used? * * no adversary model, third parties are trustworthy

  23. Two solutions

  24. Two solutions Solution 1 : Analyze the programs and infer the data flow ➡ Static analysis, abstract interpretation

  25. Two solutions Solution 1 : Analyze the programs and infer the data flow ➡ Static analysis, abstract interpretation Solution 2 : Design a new programming language ➡ Qwel (Qatar Web Programming Language) with data flow

  26. Qwel : lambda calculus + primitives for remote procedure call + . . . Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ → τ ’ | τ ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2

  27. Qwel : lambda calculus + primitives for remote procedure call + . . . Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ → τ ’ | τ ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Typing Σ | Γ ⊢ w e : τ “e has type τ at w w.r.t. Σ and Γ ” Γ ::= · | Γ , x : τ Σ ::= · | Σ , w/u : τ ⇒ τ

  28. Programming with Qwel

  29. Programming with Qwel @w 1 publish x : τ . e

  30. Programming with Qwel @w 1 w 1 / u 1 publish x : τ . e

  31. Programming with Qwel @w 0 @w 1 w 1 / u 1 call w1/u1 with input publish x : τ . e

  32. Programming with Qwel @w 0 @w 1 input w 1 / u 1 call w1/u1 with input publish x : τ . e

  33. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 Services Data Flow

  34. publish x : unit. let x ʹ″ = call w 2 /u 2 with x in call w 3 /u 3 with x ʹ″ w 0 / u 0 end w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 Services Data Flow

  35. publish x : unit. let x ʹ″ = call w 2 /u 2 with x in call w 3 /u 3 with x ʹ″ w 0 / u 0 end w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 Services Data Flow publish x : unit let x ʹ″ = call w 1 /u 1 with x x ʹ″ʹ″ = call w 4 /u 4 with x ʹ″ x ʹ″ʹ″ʹ″ = call w 5 /u 5 with x ʹ″ in ⟨ x ʹ″ʹ″ , x ʹ″ʹ″ʹ″ ⟩ end

  36. λ input:unit.(call w 0 /u 0 with input) publish x : unit. let x ʹ″ = call w 2 /u 2 with x in call w 3 /u 3 with x ʹ″ w 0 / u 0 end w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 Services Data Flow publish x : unit let x ʹ″ = call w 1 /u 1 with x x ʹ″ʹ″ = call w 4 /u 4 with x ʹ″ x ʹ″ʹ″ʹ″ = call w 5 /u 5 with x ʹ″ in ⟨ x ʹ″ʹ″ , x ʹ″ʹ″ʹ″ ⟩ end

  37. λ input:unit.(call w 0 /u 0 with input) w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  38. Where is input going to? λ input:unit.(call w 0 /u 0 with input) How will it be used? w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  39. Where is input going to? λ input:unit.(call w 0 /u 0 with input) How will it be used? w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  40. Where is input going to? λ input:unit.(call w 0 /u 0 with input) How will it be used? w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 Can we get a symbolic expression that represents how input is used? ➡ The data flow of input

  41. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  42. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 no flow

  43. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  44. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 service flow

  45. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  46. sequential flow w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  47. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5

  48. w 0 / u 0 w 1 / u 1 w 2 / u 2 w 3 / u 3 w 4 / u 4 w 5 / u 5 parallel flow

  49. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″

  50. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″ no

  51. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″ service no

  52. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″ composition service no

  53. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″ parallel composition service no

  54. Qwel with Flow Fragment of the language syntax Types τ :: = unit | τ × τ ʹ″ | τ { μ } → τ ’ | τ { μ } ⇒ τ ’ Expressions e :: = x | λ x: τ .e | (e 1 e 2 ) | ⟨ e 1 ,e 2 ⟩ | fst e | snd e | () | w/u | publish x: τ .e | call e 1 with e 2 Flow μ :: = • | w ≻ μ | μ ; μ ʹ″ | μ ∥ μ ʹ″ parallel composition service no Typing Σ | Γ ⊢ w e : τ “e has type τ at w w.r.t. Σ and Γ ” Γ ::= · | Γ , x : τ { μ } Σ ::= · | Σ , w/u : τ { μ } ⇒ τ

  55. No Flow and Service flow publish x : unit. call w 2 /u 2 with x w 0 / u 0 w 1 / u 1 w 2/ u 2 publish x : unit. x publish x : unit. call w 1 /u 1 with x

  56. No Flow and Service flow publish x : unit. call w 2 /u 2 with x w 0 / u 0 w 1 / u 1 w 2/ u 2 : unit {w 2 ≻ •} ⇒ unit publish x : unit. x publish x : unit. call w 1 /u 1 with x

  57. No Flow and Service flow publish x : unit. call w 2 /u 2 with x w 0 / u 0 w 1 / u 1 w 2/ u 2 : unit {w 2 ≻ •} ⇒ unit publish x : unit. x : unit {w 0 ≻ (w 1 ≻ (w 2 ≻ •))} ⇒ unit publish x : unit. call w 1 /u 1 with x

  58. No Flow and Service flow : unit {w 1 ≻ (w 2 ≻ •)} ⇒ unit publish x : unit. call w 2 /u 2 with x w 0 / u 0 w 1 / u 1 w 2/ u 2 : unit {w 2 ≻ •} ⇒ unit publish x : unit. x : unit {w 0 ≻ (w 1 ≻ (w 2 ≻ •))} ⇒ unit publish x : unit. call w 1 /u 1 with x

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Towards Separation of Concerns in Flow-Based Programming Bahram Zarrin Hubert Baumeister FOAL

Towards Separation of Concerns in Flow-Based Programming Bahram Zarrin Hubert Baumeister FOAL

Towards Separation of Concerns in Flow-Based Programming Bahram Zarrin Hubert Baumeister FOAL 2015 Flow Based Programming Invented by J. Paul Morrison in the early 1970s Models software systems as a directed graph of predefined

348 views • 21 slides
Data-flow analysis Introduction to data-flow analysis Michel Schinz based on material by

Data-flow analysis Introduction to data-flow analysis Michel Schinz based on material by

Data-flow analysis Introduction to data-flow analysis Michel Schinz based on material by Erik Stenman and Michael Schwartzbach Data-flow analysis Example: liveness Data-flow analysis is a global analysis framework that can be used to

635 views • 11 slides
x86 CONTROLLING PROGRAM FLOW CONTROL FLOW Computers execute instructions in sequence...

x86 CONTROLLING PROGRAM FLOW CONTROL FLOW Computers execute instructions in sequence...

x86 CONTROLLING PROGRAM FLOW CONTROL FLOW Computers execute instructions in sequence... ...Except when we change the flow of control. Two main ways of doing this: Jump instructions (this lecture) Call instructions

517 views • 29 slides
1 Outline Orbital Insertion Example Model-based Programming Turn camera off and engine on

1 Outline Orbital Insertion Example Model-based Programming Turn camera off and engine on

Programming Long-lived Embedded Systems With Complex Autonomic Processes Model-based Programming: Controlling Embedded Systems by Reasoning about Hidden State Brian C. Williams And Michel Ingham Artificial Intelligence and Space Systems Labs

551 views • 7 slides
6.2 Controlling the Visibility of Data 6.2 Controlling the Visibility of Data Protocol

6.2 Controlling the Visibility of Data 6.2 Controlling the Visibility of Data Protocol

Special Course on Networked Virtual February 20, 2004 Environments 6.2 Controlling the Visibility of Data 6.2 Controlling the Visibility of Data Protocol Optimizations Protocol Optimizations Compression Compression Aggregation

414 views • 4 slides
6.2 Controlling the Visibility of Data the Visibility of Data 6.2 Controlling Area

6.2 Controlling the Visibility of Data the Visibility of Data 6.2 Controlling Area

Special Course on Networked Virtual February 20, 2004 Environments 6.2 Controlling the Visibility of Data the Visibility of Data 6.2 Controlling Area Area- -of of- -interest interest filters filters each host provides

570 views • 11 slides
Returning data-flow to asynchronous programming Matt Gilbert, Senior Staff Engineer, Qualcomm

Returning data-flow to asynchronous programming Matt Gilbert, Senior Staff Engineer, Qualcomm

Returning data-flow to asynchronous programming Matt Gilbert, Senior Staff Engineer, Qualcomm Technologies, Inc. 2018-04-16 Background Hardware design focuses on information flow (data and control): how do you compose the pieces of

601 views • 12 slides
!System(on(Chip!Design! Data!Flow!Modeling! (Based!on!slides!at!ECE!522!at!UNM)! Hao$Zheng$

!System(on(Chip!Design! Data!Flow!Modeling! (Based!on!slides!at!ECE!522!at!UNM)! Hao$Zheng$

!System(on(Chip!Design! Data!Flow!Modeling! (Based!on!slides!at!ECE!522!at!UNM)! Hao$Zheng$ Comp$Sci$&$Eng$ U$of$South$Florida$$ 1 HW/SW Codesign w/ FPGAs Data-Flow Modeling ECE 522 Data-Flow Modeling (A Practical Introduction to HW/SW

771 views • 29 slides
AMP-Based Flow Collection Greg Virgin - RedJack AMP- Based Flow Collection AMP -

AMP-Based Flow Collection Greg Virgin - RedJack AMP- Based Flow Collection AMP -

AMP-Based Flow Collection Greg Virgin - RedJack AMP- Based Flow Collection AMP - Analytic Metadata Producer: Patented US Government flow / metadata producer AMP generates data including Flows Host metadata (TCP

244 views • 12 slides
1 What Is Control-Flow Analysis? Loop Concepts Control-flow analysis discovers the flow of

1 What Is Control-Flow Analysis? Loop Concepts Control-flow analysis discovers the flow of

Control-Flow Analysis and Loop Detection Context Last time Data-flow Speeding up data-flow analysis Flow of data values from defs to uses Could alternatively be represented as a data dependence Today Control-flow analysis

516 views • 5 slides
IC220 Set #7: Controlling the Single Cycle Implementation (Chapter Four) 1 Control Selecting

IC220 Set #7: Controlling the Single Cycle Implementation (Chapter Four) 1 Control Selecting

IC220 Set #7: Controlling the Single Cycle Implementation (Chapter Four) 1 Control Selecting the and controlling the based on the Outline: 1. Overview 2. Controlling the ALU 3. Controlling multiplexors and register writes 2

482 views • 15 slides
Paper ID # NC01 Design and Development of a Microcontroller Based Automatic Blood Flow Monitoring

Paper ID # NC01 Design and Development of a Microcontroller Based Automatic Blood Flow Monitoring

Paper ID # NC01 Design and Development of a Microcontroller Based Automatic Blood Flow Monitoring and Controlling System Authored by Md. Sumon Ali and Muhibul Haque Bhuyan Department of EEE, Southeast University Presented By Md. Suman Ali

615 views • 15 slides
FBP Applied to IoT Development OpenIoT & ELC Europe 2016 Agenda - Who am I? - Challenge

FBP Applied to IoT Development OpenIoT & ELC Europe 2016 Agenda - Who am I? - Challenge

Flow Based Programming FBP Applied to IoT Development OpenIoT & ELC Europe 2016 Agenda - Who am I? - Challenge & Motivation - Flow-based programming - Soletta - Pros & Cons - Brazilian - Software Developer since 9yo -

813 views • 37 slides
The Shepard Tone and Higher-Order Multi-rate Synchronous Data-Flow Programming in S IG

The Shepard Tone and Higher-Order Multi-rate Synchronous Data-Flow Programming in S IG

Exposition Development Recapitulation The Shepard Tone and Higher-Order Multi-rate Synchronous Data-Flow Programming in S IG Baltasar Trancn y Widemann Markus Lepper Ilmenau University of Technology semantics GmbH FARM 2015-09-05

857 views • 67 slides
1 Ways to improve data-flow analysis efficiency Example (liveness) 1st 2nd 3rd

1 Ways to improve data-flow analysis efficiency Example (liveness) 1st 2nd 3rd

Speeding Up Data-Flow Analysis Solving the Data-flow Equations Last time Algorithm Various optimizations that use data-flow analysis for each node n in CFG initialize solutions in[n] = ; out[n] = Today repeat Speeding up

418 views • 4 slides
Network Flow-based Bipartitioning Perform flow-based bipartitioning under: Area constraint

Network Flow-based Bipartitioning Perform flow-based bipartitioning under: Area constraint

Network Flow-based Bipartitioning Perform flow-based bipartitioning under: Area constraint [4,5] Source = a , sink = i Break ties alphabetically Practical Problems in VLSI Physical Design FBB Algorithm (1/6) First Max-Flow and Its

87 views • 6 slides
Piyush Kumar Import this Topics Covered in this course 1.Introduction to Python 2.Data

Piyush Kumar Import this Topics Covered in this course 1.Introduction to Python 2.Data

Piyush Kumar Import this Topics Covered in this course 1.Introduction to Python 2.Data Structures 7. Functional Programming 3.Functions 8. Text Handling 4.Modules and Libraries 9. GUI Development 5.OOP 10.Graphics Programming 6.Testing /

231 views • 19 slides
LaTeX-on-HTTP: L A T EX as a cloud service for application developers TUG2020 Yoan Tournade

LaTeX-on-HTTP: L A T EX as a cloud service for application developers TUG2020 Yoan Tournade

LaTeX-on-HTTP: L A T EX as a cloud service for application developers TUG2020 Yoan Tournade July 26, 2020 Why are not PDFs from IT systems and applications more decently typesetted? (They are generally not) Of course... Because developers do

191 views • 16 slides
CTE JOB DEVELOPER TRAINING W O R K E X P E R I E N C E , F AC U L T Y , I N D U S T R Y , F O

CTE JOB DEVELOPER TRAINING W O R K E X P E R I E N C E , F AC U L T Y , I N D U S T R Y , F O

CTE JOB DEVELOPER TRAINING W O R K E X P E R I E N C E , F AC U L T Y , I N D U S T R Y , F O U N D AT I O N WHAT WE WILL COVER A LOT! Defining the Role Work Experience Faculty Relations Industry Relations Foundation

622 views • 50 slides
WordPress Day 8 - Underscores 1 What is underscores? _s, or underscores , is a WordPress

WordPress Day 8 - Underscores 1 What is underscores? _s, or underscores , is a WordPress

TWD 25 WordPress Day 8 - Underscores 1 What is underscores? _s, or underscores , is a WordPress starter theme. It is a code base for building custom themes. 2 Why use underscores? Maintained by Automattic developers. This is the

821 views • 47 slides
Play framework 2.0 @PeterHilton at #GOTOams on 24 May 2012 2 Peter Hilton

Play framework 2.0 @PeterHilton at #GOTOams on 24 May 2012 2 Peter Hilton

Play framework 2.0 @PeterHilton at #GOTOams on 24 May 2012 2 Peter Hilton (sorry, I am not Guillaume Bort) Web developer and Operations Director at Lunatech Research in Rotterdam Web application architecture, design

820 views • 63 slides
CSCI-2320 Web Programming: Ruby on Rails Mohammad T . Irfan Plan u Model-View-Controller (MVC)

CSCI-2320 Web Programming: Ruby on Rails Mohammad T . Irfan Plan u Model-View-Controller (MVC)

11/28/17 CSCI-2320 Web Programming: Ruby on Rails Mohammad T . Irfan Plan u Model-View-Controller (MVC) framework of web programming u Ruby on Rails 1 11/28/17 Ruby on Rails u Developed by David Hansson released 2004 u MVC architecture

417 views • 21 slides
Intr Introduction t oduction to St o Stanf anfor ord' d's s Responsiv esponsive Drup e

Intr Introduction t oduction to St o Stanf anfor ord' d's s Responsiv esponsive Drup e

4/9/13 Intr Introduction t oduction to St o Stanf anfor ord' d's s Responsiv esponsive Drup e Drupal Themes: al Themes: Open F Open Framew amework and ork and St Stanf anfor ord F d Framew amework ork Megan Miller & Brian

445 views • 43 slides
Developing Frameworks for Apache Mesos Joe Stein CEO of Elodina http://www.elodina.net/ a big

Developing Frameworks for Apache Mesos Joe Stein CEO of Elodina http://www.elodina.net/ a big

Developing Frameworks for Apache Mesos Joe Stein CEO of Elodina http://www.elodina.net/ a big data as a service platform built on top open source software. The Elodina platform enables customers to analyze data streams and programmatically

793 views • 35 slides

More recommend