transparency overlays and applications
play

Transparency Overlays and Applications Melissa Chase (Microsoft - PowerPoint PPT Presentation

Mar 23, 2024 •108 likes •1.32k views

Transparency Overlays and Applications Melissa Chase (Microsoft Research Redmond) Sarah Meiklejohn (University College London) 2 (icons by parkjisun from noun project) 2 (icons by parkjisun from noun project) 2 (icons by parkjisun from noun

  1. system GenEventSet Sys CheckEvidence Log event log server log LS CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 20

  2. system GenEventSet Sys CheckEvidence Log event log server log rcpt LS CheckEntry Inspect auditor snap monitor snap E BE a (timed) signature, so LS is accountable evidence Gossip = log = dlc t sig snap E snap 20

  3. system GenEventSet Sys CheckEvidence Log check rcpt event log server log rcpt LS CheckEntry Inspect auditor snap monitor snap E BE a (timed) signature, so LS is accountable evidence Gossip = log = dlc t sig snap E snap 20

  4. system GenEventSet Sys CheckEvidence Log check rcpt event log server log rcpt LS update log -add event to E CheckEntry -update dlc Inspect -update snap auditor snap monitor snap E BE a (timed) signature, so LS is accountable evidence Gossip = log = dlc t sig snap E snap 20

  5. system Sys GenEventSet CheckEvidence Log LS log server log Auditor CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 21

  6. system Sys GenEventSet CheckEvidence event Log LS log server log Auditor CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 21

  7. system Sys GenEventSet CheckEvidence event Log LS log server log LS Auditor CheckEntry update? Inspect auditor snap monitor snap E BE evidence Auditor Gossip = log = dlc t sig snap E snap 21

  8. system Sys GenEventSet CheckEvidence event Log LS log server log LS Auditor CheckEntry update? Inspect snap A auditor snap monitor snap E BE evidence Auditor Gossip = log = dlc t sig snap E snap 21

  9. system Sys GenEventSet CheckEvidence event Log LS log server log LS Auditor ProveAppend CheckEntry update? Inspect snap A auditor snap monitor snap E BE evidence Auditor Gossip = log = dlc t sig snap E snap 21

  10. system Sys GenEventSet CheckEvidence event Log LS log server log LS Auditor ProveAppend CheckEntry update? Inspect snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip = log = dlc t sig snap E snap 21

  11. system Sys GenEventSet CheckEvidence event Log LS log server log LS Auditor ProveAppend CheckEntry update? Inspect snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip CheckAppend = log = dlc t sig snap E snap 21

  12. system Sys GenEventSet CheckEvidence event Log LS log server log event LS Auditor ProveAppend CheckEntry update? Inspect snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip CheckAppend = log = dlc t sig snap E snap 21

  13. system Sys GenEventSet CheckEvidence event Log LS log server log event ProveIncl LS Auditor ProveAppend CheckEntry update? Inspect snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip CheckAppend = log = dlc t sig snap E snap 21

  14. system Sys GenEventSet CheckEvidence event Log LS log server log event ProveIncl LS Auditor ProveAppend CheckEntry update? Inspect CheckIncl snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip CheckAppend = log = dlc t sig snap E snap 21

  15. system Sys GenEventSet CheckEvidence event Log LS log server log b event ProveIncl LS Auditor ProveAppend CheckEntry update? Inspect CheckIncl snap A snap LS , π auditor snap monitor snap E BE evidence Auditor Gossip CheckAppend = log = dlc t sig snap E snap 21

  16. system GenEventSet LS CheckEvidence Log log server log CheckEntry Inspect Monitor auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 22

  17. system GenEventSet LS CheckEvidence Log log server log snap M CheckEntry Inspect Monitor auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 22

  18. system GenEventSet LS CheckEvidence Log find E Δ (events since snap M ) log server log snap M CheckEntry Inspect Monitor auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 22

  19. system GenEventSet LS CheckEvidence Log find E Δ (events since snap M ) log server log snap LS ,E Δ snap M CheckEntry Inspect Monitor auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 22

  20. system GenEventSet LS CheckEvidence Log find E Δ (events since snap M ) log server log snap LS ,E Δ snap M CheckEntry Inspect Monitor Append(E Δ ,dlc M ) = dlc LS ? auditor snap monitor snap E BE use checks to update BE evidence Gossip = log = dlc t sig snap E snap 22

  21. system Monitor Auditor GenEventSet CheckEvidence Log log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 23

  22. system Monitor Auditor GenEventSet snap M ,snap A CheckEvidence Log log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 23

  23. system Monitor Auditor GenEventSet snap M ,snap A CheckEvidence Log log server log DemoInconsistent(E,dlc A ,t A ) π CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 23

  24. system Monitor Auditor GenEventSet snap M ,snap A CheckEvidence Log log server log DemoInconsistent(E,dlc A ,t A ) π b ← CheckInconsistent(dlc A ,t A ,dlc M , π ) if b return (snap A ,snap M , π ) CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 23

  25. system Monitor Auditor GenEventSet snap M ,snap A CheckEvidence Log log server log DemoInconsistent(E,dlc A ,t A ) checks that π (1) snapshots b ← CheckInconsistent(dlc A ,t A ,dlc M , π ) are signed by LS and if b return (snap A ,snap M , π ) (2) π proves CheckEntry Inspect inconsistency auditor snap monitor snap E BE evidence Gossip = log = dlc t sig snap E snap 23

  26. security ability to carry out DemoInconsistent, ProveAppend, and ProveIncl ⇒ consistency unforgeability of DemoInconsistent, DemoNotIncl * , and signature scheme ⇒ non-frameability ability to carry out DemoNotIncl * ⇒ accountability *uses pledged version in which Auditor keeps track of failed events and gossips about them with Monitor to produce new type of evidence 24

  27. goal: bad events are exposed 25

  28. system receives promises to include events in the log goal: bad events are exposed 25

  29. system receives promises to include events in the log system log server CheckEntry auditor + auditors determine if these events are in the log goal: bad events are exposed 25

  30. system receives promises to include events in the log system log server CheckEntry auditor + auditors determine if these events are in the log monitor auditor Gossip + auditors and monitors ensure consistent view of log goal: bad events are exposed 25

  31. system receives promises to include events in the log system log server CheckEntry auditor + auditors determine if these events are in the log monitor auditor Gossip + auditors and monitors ensure consistent view of log ⇒ (by consistency+accountability) event is in monitor’s view of the log goal: bad events are exposed 25

  32. system receives promises to include events in the log system log server CheckEntry auditor + auditors determine if these events are in the log monitor auditor Gossip + auditors and monitors ensure consistent view of log ⇒ (by consistency+accountability) event is in monitor’s view of the log log server Inspect monitor + monitors detect bad events in the log ⇒ goal: bad events are exposed 25

  33. which systems? system GenEventSet CheckEvidence Log log server log design (add LS,Au,Mo) security CheckEntry Inspect (consistency) (non-frameability) auditor snap monitor snap E BE (accountability) construction construction evidence Gossip (dlc+sig) 26

  34. which systems? which systems? system GenEventSet CheckEvidence Log log server log design (add LS,Au,Mo) security CheckEntry Inspect (consistency) (non-frameability) auditor snap monitor snap E BE (accountability) construction evidence Gossip (dlc+sig) 26

  35. Certificate Transparency CA website client CheckEvidence Log log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip bad certificate issuance is exposed ⇒ clients are less likely to accept bad certificates 27 (icon by parkjisun from noun project)

  36. Bitcoin blockchain receiver sender miner Log CheckEvidence log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip double spending is exposed 28

  37. Bitcoin blockchain receiver sender miner Log CheckEvidence log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip double spending is exposed … provably! 28

  38. Bitcoin blockchain receiver sender miner Log CheckEvidence log server log CheckEntry Inspect auditor snap monitor snap E BE evidence Gossip double spending is exposed … provably! sender and receiver don’t need to store blockchain 28

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

Future Internet Applications and Overlays (FIA Research Group) www3.informatik.uni-wuerzburg.de

Future Internet Applications and Overlays (FIA Research Group) www3.informatik.uni-wuerzburg.de

Institute of Computer Science Chair of Communication Networks Prof. Dr.-Ing. P. Tran-Gia Future Internet Applications and Overlays (FIA Research Group) www3.informatik.uni-wuerzburg.de FIA Team Head Tobias Hofeld Researchers Matthias

464 views • 13 slides
Comparison of k-ary n-cube and de Bruijn Overlays in QoS-constrained Multicast Applications

Comparison of k-ary n-cube and de Bruijn Overlays in QoS-constrained Multicast Applications

Comparison of k-ary n-cube and de Bruijn Overlays in QoS-constrained Multicast Applications Richard West, Gary Wong and Gerald Fry Boston University Computer Science Introduction Computer Science Our goal is a multicast system which can:

595 views • 15 slides
1. Why transparency? Results 1 - 100 of about 2,430,000 for transparency democracy No

1. Why transparency? Results 1 - 100 of about 2,430,000 for transparency democracy No

Politics and Information: Discussion Notes 1. Why transparency? Results 1 - 100 of about 2,430,000 for transparency democracy No democratic society worthy of the name can govern itself without transparency and information. Onthecommons.org

461 views • 5 slides
Structured Overlays: Attacks, Defenses, and all things Proximity April 27th, 2006 Wyman Park 4 th

Structured Overlays: Attacks, Defenses, and all things Proximity April 27th, 2006 Wyman Park 4 th

Structured Overlays: Attacks, Defenses, and all things Proximity April 27th, 2006 Wyman Park 4 th Floor Conference Room Presentation by: Jay Zarfoss Our roadmap General overview of Overlays / DHTs Chord [13] Pastry [7]

1.28k views • 68 slides
Providing Administrative Control and Autonomy in Structured Peer-to-Peer Overlays Alan Mislove

Providing Administrative Control and Autonomy in Structured Peer-to-Peer Overlays Alan Mislove

Providing Administrative Control and Autonomy in Structured Peer-to-Peer Overlays Alan Mislove and Peter Druschel Rice University 1 Problem Structured p2p overlays designed so that Participating organizations contribute resources Use the

268 views • 22 slides
Transparency initiatives and the TGA Dr Peter Papathanasiou Transparency & Advisory

Transparency initiatives and the TGA Dr Peter Papathanasiou Transparency & Advisory

Transparency initiatives and the TGA Dr Peter Papathanasiou Transparency & Advisory Management Section Prescription Medicines Authorisation Branch Market Authorisation Division, TGA ARCS Scientific Congress Canberra 2016 Two transparency

652 views • 36 slides
Thin Asphalt Overlays for Pavement Preservation Mid-Year Asphalt Pavement Technical Seminar

Thin Asphalt Overlays for Pavement Preservation Mid-Year Asphalt Pavement Technical Seminar

Thin Asphalt Overlays for Pavement Preservation Mid-Year Asphalt Pavement Technical Seminar Sponsored by Flexible Pavements of Ohio Defining a Thin Asphalt Overlay? Thin overlays are typically 1 inch thick (ODOT defines as any

697 views • 43 slides
S T R ATA L O G I C A O V E R V I E W Stratalogica is a web-based program that overlays Nystrom

S T R ATA L O G I C A O V E R V I E W Stratalogica is a web-based program that overlays Nystrom

S T R ATA L O G I C A O V E R V I E W Stratalogica is a web-based program that overlays Nystrom thematic and historical maps on top of google earth [providing an absolutely amazing way to teach and learn geography]. T H R E E U S E S 1) Tier

522 views • 12 slides
www.transparencyindia.org Transparency International India Transparency International-India

www.transparencyindia.org Transparency International India Transparency International-India

www.transparencyindia.org Transparency International India Transparency International-India is the accredited Indian National Chapter of Transparency International. It was established in 1997. Transparency International India endeavors

603 views • 45 slides
Linux Bridge, l2-overlays, E-VPN! Roopa Prabhu Cumulus Networks This tutorial is about ...

Linux Bridge, l2-overlays, E-VPN! Roopa Prabhu Cumulus Networks This tutorial is about ...

Linux Bridge, l2-overlays, E-VPN! Roopa Prabhu Cumulus Networks This tutorial is about ... Linux bridge at the center of data center Layer-2 deployments Deploying Layer-2 network virtualization overlays with Linux Linux hardware

1.35k views • 90 slides
Transparency GEF Secretariat Background Paris Agreement, Transparency, and CBIT Paris Agreement

Transparency GEF Secretariat Background Paris Agreement, Transparency, and CBIT Paris Agreement

Capacity-building Initiative for Transparency GEF Secretariat Background Paris Agreement, Transparency, and CBIT Paris Agreement Article 13: Transparency To build mutual trust and confidence and to promote effective implementation

643 views • 15 slides
Fiscal Transparency and Accountability Overview Importance of Institutional Transparency

Fiscal Transparency and Accountability Overview Importance of Institutional Transparency

September 28, 2017 Alex Hathaway Center for State and Local Finance Fiscal Transparency and Accountability Overview Importance of Institutional Transparency Review of the Literature Methodology Volcker Alliance questions

343 views • 16 slides
NUCLEAR TRANSPARENCY WATCH Prevent and anticipate through transparency and participation

NUCLEAR TRANSPARENCY WATCH Prevent and anticipate through transparency and participation

NUCLEAR TRANSPARENCY WATCH Prevent and anticipate through transparency and participation Activities of NTW Workshop on Environmental Mapping: Mobilising Trust in Measurements and Engaging Scientific Citizenry Nadja Zeleznik nzeleznik@rec.org

338 views • 30 slides
Breaking down data silos for improved insight a data transparency perspective Transparency

Breaking down data silos for improved insight a data transparency perspective Transparency

Breaking down data silos for improved insight a data transparency perspective Transparency an organisational view Transparency is all about the release of information by institutions or companies that is relevant for the evaluation of

883 views • 32 slides
Virtual Memory Overview / Motivation Simple Approach: Overlays

Virtual Memory Overview / Motivation Simple Approach: Overlays

CPSC 410/611: Operating Systems Virtual Memory Overview / Motivation Simple Approach: Overlays Locality of Reference Demand Paging Policies Placement Replacement

593 views • 16 slides
transparency: Opportunities of the Fisheries Transparency Initiative (FiTI) 16 Session COFI

transparency: Opportunities of the Fisheries Transparency Initiative (FiTI) 16 Session COFI

Driving change in fisheries trade through transparency: Opportunities of the Fisheries Transparency Initiative (FiTI) 16 Session COFI Sub-Committee on Fish trade / Busan, 6 September 2017 The necessity of transparency in fisheries International

346 views • 15 slides
Opportunistic Spatial Gossip over Mobile Social Networks A. Chaintreau, P. Fraigniaud, E. Lebhar

Opportunistic Spatial Gossip over Mobile Social Networks A. Chaintreau, P. Fraigniaud, E. Lebhar

Opportunistic Spatial Gossip over Mobile Social Networks A. Chaintreau, P. Fraigniaud, E. Lebhar Thomson & CNRS-Universit Paris Diderot Monday, August 18th 2008, talk @ workshop WOSN Objectives of this talk Discuss the future of

660 views • 13 slides
Blockchain consensus Protocols in the Wild Tao Wang, Lihang Pan ECS 265 Apache Kafka

Blockchain consensus Protocols in the Wild Tao Wang, Lihang Pan ECS 265 Apache Kafka

Blockchain consensus Protocols in the Wild Tao Wang, Lihang Pan ECS 265 Apache Kafka (CFT) PBFT (BFT) Kafka Architecture ISR (in- sync) {b1,b2,b3} b1 b2 b3 Photo credit to Apache

2.57k views • 32 slides
FRing: A P2P Overlay Network for Fast and Robust Blockchain Systems Haoran Qiu, Tao Ji HKU

FRing: A P2P Overlay Network for Fast and Robust Blockchain Systems Haoran Qiu, Tao Ji HKU

FRing: A P2P Overlay Network for Fast and Robust Blockchain Systems Haoran Qiu, Tao Ji HKU System Group Department of Computer Science Background Insights FRing Evaluation Conclusion Blockchain Systems Layered structure

429 views • 25 slides
CS5412/LECTURE 12 Ken Birman GOSSIP PROTOCOLS CS5412 Spring 2019

CS5412/LECTURE 12 Ken Birman GOSSIP PROTOCOLS CS5412 Spring 2019

CS5412/LECTURE 12 Ken Birman GOSSIP PROTOCOLS CS5412 Spring 2019 HTTP://WWW.CS.CORNELL.EDU/COURSES/CS5412/2019SP 1 GOSSIP 101 Gossip protocols: Ones in which information is spread node-to-node at random, like a Zombie virus. At first, the

543 views • 42 slides
Xiaowei Wang Xiaowei Wang Jingxin Feng Jingxin Feng Mar 7 th , 2011 Overview Overview

Xiaowei Wang Xiaowei Wang Jingxin Feng Jingxin Feng Mar 7 th , 2011 Overview Overview

Xiaowei Wang Xiaowei Wang Jingxin Feng Jingxin Feng Mar 7 th , 2011 Overview Overview Background k d Data Model API Architecture Architecture Users Linearly scalability Replication and Consistency Replication

551 views • 33 slides
1 Mate Mate: Architecture Architecture Instruction Set Capsules Execution Code

1 Mate Mate: Architecture Architecture Instruction Set Capsules Execution Code

Outline Motivation Mate Mate: A Tiny Virtual Machine Code Propagation for Sensor Networks Trickle Philip Levis and David Culler Simulation Results Presented by Conclusions & Critiques Mark Tamola CSE 521 Fall 2004

728 views • 9 slides
Comunicazione nei Sistemi Distribuiti Parte 2 Corso di Sistemi Distribuiti e Cloud Computing A.A.

Comunicazione nei Sistemi Distribuiti Parte 2 Corso di Sistemi Distribuiti e Cloud Computing A.A.

Universit degli Studi di Roma Tor Vergata Dipartimento di Ingegneria Civile e Ingegneria Informatica Comunicazione nei Sistemi Distribuiti Parte 2 Corso di Sistemi Distribuiti e Cloud Computing A.A. 2018/19 Valeria Cardellini

718 views • 42 slides
Fast Forward I/O & Storage Eric Barton Lead Architect High Performance Data Division 1

Fast Forward I/O & Storage Eric Barton Lead Architect High Performance Data Division 1

Fast Forward I/O & Storage Eric Barton Lead Architect High Performance Data Division 1 Department of Energy - Fast Forward Challenge FastForward RFP provided US Government funding for exascale research and development Sponsored by 7

505 views • 21 slides

More recommend