TLS-N: Non-repudiation over TLS Enabling Ubiquitous Content Signing
|
|
|
- Jacob Lindholm
- 4 år siden
- Visninger:
Transkript
1 TLS-N: Non-repudiation over TLS Enabling Ubiquitous ontent Signing ubert Ritzdorf, Karl Wüst, Arthur Gervais, Guillaume Felley, Srdjan apkun ET Zurich Karl Wüst
2 TLS { } Karl Wüst
3 TLS { } Karl Wüst
4 TLS { } Karl Wüst
5 TLS { } Karl Wüst
6 Web Archive Karl Wüst
7 Blockchain Oracles Blockchain Oracle World Karl Wüst
8 Blockchain Oracles Blockchain Oracle World Karl Wüst
9 Blockchain Oracles Blockchain Oracle World Karl Wüst
10 Blockchain Oracles Blockchain Oracle World Karl Wüst
11 Non-Repudiation for TLS Sends Proof Verifier (third party/ blockchain) Trusts A Verifies Identity Requester (client) TLS onversation Provides Evidence Generator (server) reate Proof from Evidence and Plaintext Karl Wüst
12 Non-Repudiation for TLS Sends Proof Requester (client) Verifier Trusts (third party/ blockchain) Wants to learn about TLS onversation Provides Evidence Generator (server) A Verifies Identity reate Proof from Evidence and Plaintext Karl Wüst
13 Non-Repudiation for TLS Sends Proof Requester (client) Verifier Trusts (third party/ blockchain) Wants to learn about TLS onversation Provides Evidence Generator (server) A Verifies Identity reate Proof from Evidence and Plaintext Karl Wüst
14 Non-Repudiation for TLS Sends Proof Requester (client) Verifier Trusts (third party/ blockchain) Wants to learn about TLS onversation Provides Evidence Generator (server) A Verifies Identity reate Proof from Evidence and Plaintext Karl Wüst
15 Non-Repudiation for TLS Sends Proof Verifier (third party/ blockchain) Learns about Trusts A Verifies Identity Requester (client) TLS onversation Provides Evidence Generator (server) reate Proof from Evidence and Plaintext Karl Wüst
16 Possible Problems - ontent Reordering lient Server lient Server Req x ollect Evidence 123 Req y Return Evidence Evidence(Req y+123) 987 Evidence Window Req y 123 Karl Wüst
17 Possible Problems - ontent Reordering lient Server lient Server Req x ollect Evidence 123 Req y Return Evidence Evidence(Req y+123) 987 Evidence Window Req y 123 Karl Wüst
18 Possible Problems - ontent Reordering lient Server lient Server Req x ollect Evidence 123 Req y Return Evidence Evidence(Req y+123) 987 Evidence Window Req y 123 Karl Wüst
19 Possible Problems - ontent Reordering lient Server lient Server Req x ollect Evidence 123 Req y Return Evidence Evidence(Req y+123) 987 Evidence Window Req y 123 Karl Wüst
20 Possible Problems - Privacy GET /me?fields=id&access_token=eaaedeose0cb... ost: graph.facebook.com TTP/1.1 Karl Wüst
21 Possible Problems - Privacy GET /me?fields=id&access_token=eaaedeose0cb... ost: graph.facebook.com TTP/1.1 Karl Wüst
22 Possible Problems - Privacy GET /me?fields=id&access_token=eaaedeose0cb... ost: graph.facebook.com TTP/1.1 Need redactable proofs! Karl Wüst
23 Possible Problems - Denial of Service Karl Wüst
24 Possible Problems - Denial of Service 1 signature over everything Karl Wüst
25 Possible Problems - Denial of Service 1 signature over everything possibly large state Karl Wüst
26 Possible Problems - Denial of Service 1 signature over everything possibly large state Server side redacting Karl Wüst
27 Possible Problems - Denial of Service 1 signature over everything possibly large state Server side redacting computational overhead Karl Wüst
28 Goals Small server side state & overhead Karl Wüst
29 Goals Small server side state & overhead lient side privacy protection Karl Wüst
30 Goals Small server side state & overhead lient side privacy protection lear context total order on records Karl Wüst
31 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
32 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
33 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
34 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
35 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
36 TLS-N Overview lient Server Save TLS Records and TLS-N parameters from the handshake TLS andshake Req x 123 Req y 987 Evidence Generation: Steady Processing of TLS Records with small state Return Evidence User s Privacy Settings Proof Generation Evidence Sign TLS Private Key Karl Wüst
37 Record Level Privacy Protection 0x1 ash hain hc 0 0x1 0x1 hc 1 hcn 1 0x0 h 0 O TLS Traffic Secret 0 l R0 0x0 O 1 h 1 l R1 0x0 O 2 h 2 l R2 Nonce E Salt Secret 0 c 0,0 Salt Secret 1 c 1,0 Salt Secret 2 c 2,0 Record 0 Record 1 Ordered TLS onversation Records Record 2 Karl Wüst
38 Record Level Privacy Protection 0x1 ash hain hc 0 0x1 0x1 hc 1 hcn 1 0x0 h 0 O TLS Traffic Secret 0 l R0 0x0 O 1 h 1 l R1 0x0 O 2 h 2 l R2 Nonce E Salt Secret 0 c 0,0 Salt Secret 1 c 1,0 Salt Secret 2 c 2,0 Record 0 Record 1 Ordered TLS onversation Records Record 2 Karl Wüst
39 Record Level Privacy Protection 0x1 ash hain hc 0 0x1 0x1 hc 1 hcn 1 0x0 h 0 O TLS Traffic Secret 0 l R0 0x0 O 1 h 1 l R1 0x0 O 2 h 2 l R2 Nonce E Salt Secret 0 c 0,0 Salt Secret 1 c 1,0 Salt Secret 2 c 2,0 Record 0 Record 1 Ordered TLS onversation Records Record 2 Karl Wüst
40 hunk Level Privacy Protection Salt Tree TLS Traffic Secret Nonce E Salt Secret0 E S 2 S 2 0,0 0,1 0x1 0x0 O0 h 2 0,0 h0 lr0 h 2 0,1 hc0 ash hain 0x1 h1 0x0 O1 lr1 0x1 hc1 0x0 O2 h2 hc n 1 lr2 E E h 1 0,0 h 1 0,1 h 1 0,2 h 1 0,3 h 1 1,0 h 1 1,1 h 1 2,0 h 1 2,1 S 1 0,0 S 1 0,1 S 1 0,2 S 1 0,3 E E E E c 0,0 c 0,1 c 0,2 c 0,3 c 0,4 c 0,5 c 0,6 c 0,7 c 1,0 c 1,1 c 1,2 c 1,3 c 2,0 c 2,1 c 2,2 c 2,3 S0,0 S0,1 S0,2 S0,3 S0,4 S0,5 S0,6 S0,7 S 2 1,0 S 2 1,1 S 2 1,2 S 2 1,3 S 2 2,0 S 2 2,1 S 2 2,2 S 2 2,3 Ordered TLS onversation Records Record 0 Record 1 Record 2 Karl Wüst
41 hunk Level Privacy Protection Salt Tree TLS Traffic Secret Nonce E Salt Secret0 E S 2 S 2 0,0 0,1 0x1 0x0 O0 h 2 0,0 h0 lr0 h 2 0,1 hc0 ash hain 0x1 h1 0x0 O1 lr1 0x1 hc1 0x0 O2 h2 hc n 1 lr2 E E h 1 0,0 h 1 0,1 h 1 0,2 h 1 0,3 h 1 1,0 h 1 1,1 h 1 2,0 h 1 2,1 S 1 0,0 S 1 0,1 S 1 0,2 S 1 0,3 E E E E c 0,0 c 0,1 c 0,2 c 0,3 c 0,4 c 0,5 c 0,6 c 0,7 c 1,0 c 1,1 c 1,2 c 1,3 c 2,0 c 2,1 c 2,2 c 2,3 S0,0 S0,1 S0,2 S0,3 S0,4 S0,5 S0,6 S0,7 S 2 1,0 S 2 1,1 S 2 1,2 S 2 1,3 S 2 2,0 S 2 2,1 S 2 2,2 S 2 2,3 Ordered TLS onversation Records Record 0 Record 1 Record 2 Karl Wüst
42 hunk Level Privacy Protection Salt Tree TLS Traffic Secret Nonce E Salt Secret0 E S 2 S 2 0,0 0,1 0x1 0x0 O0 h 2 0,0 h0 lr0 h 2 0,1 hc0 ash hain 0x1 h1 0x0 O1 lr1 0x1 hc1 0x0 O2 h2 hc n 1 lr2 E E h 1 0,0 h 1 0,1 h 1 0,2 h 1 0,3 h 1 1,0 h 1 1,1 h 1 2,0 h 1 2,1 S 1 0,0 S 1 0,1 S 1 0,2 S 1 0,3 E E E E c 0,0 c 0,1 c 0,2 c 0,3 c 0,4 c 0,5 c 0,6 c 0,7 c 1,0 c 1,1 c 1,2 c 1,3 c 2,0 c 2,1 c 2,2 c 2,3 S0,0 S0,1 S0,2 S0,3 S0,4 S0,5 S0,6 S0,7 S 2 1,0 S 2 1,1 S 2 1,2 S 2 1,3 S 2 2,0 S 2 2,1 S 2 2,2 S 2 2,3 Ordered TLS onversation Records Record 0 Record 1 Record 2 Karl Wüst
43 Properties Karl Wüst
44 Properties Non-repudiation Karl Wüst
45 Properties Non-repudiation Privacy Preserving Karl Wüst
46 Properties Non-repudiation Privacy Preserving Redactions are visible to verifiers Karl Wüst
47 Properties Non-repudiation Privacy Preserving Redactions are visible to verifiers Order preserving Karl Wüst
48 Properties Non-repudiation Privacy Preserving Redactions are visible to verifiers Order preserving Efficient Karl Wüst
49 Flight Insurance (1) Insurance Provider Ok (or Timeout) laim Payout Flight Insurance ontract ustomer Airline Website Karl Wüst
50 Flight Insurance (1) Insurance Provider Ok (or Timeout) laim Payout Flight Insurance ontract ustomer Airline Website Karl Wüst
51 Flight Insurance (1) Insurance Provider Ok (or Timeout) laim Payout Flight Insurance ontract ustomer Airline Website Karl Wüst
52 Flight Insurance (1) Insurance Provider Ok (or Timeout) laim Payout Flight Insurance ontract ustomer Airline Website Karl Wüst
53 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
54 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
55 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
56 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
57 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
58 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
59 Flight Insurance (2) Insurance Provider No! laim Proof ustomer Payout Flight Insurance ontract Verifies ontents TLS Session with TLS-N Airline Website Karl Wüst
60 Smart ontract osts osts ( ) onversation Size 1 KB 10 KB secp256r1 secp256k1 secp256r1 secp256k1 Basic Gas 119, ,159 Total Gas 1,284, ,286 1,938, ,219 Ether USD Karl Wüst
61 Related Work Town rier SGX based blockchain oracle Allows offline computation Does not require server modifications Requires additional trust assumptions Karl Wüst
62 Related Work TLS-Notary Not compatible with TLS 1.2 & 1.3 Additional TTP required for non-interactive use Used by Oraclize Karl Wüst
63 Related Work Other Proposals for TLS Extensions TLS Evidence (incomplete IETF draft) TLS Sign (incomplete IETF draft) MA haining (IETF mailing list) Karl Wüst
64 Related Work Other Proposals for TLS Extensions TLS Evidence (incomplete IETF draft) Reordering Attack TLS Sign (incomplete IETF draft) Reordering Attack MA haining (IETF mailing list) Forgery Attack Karl Wüst
65 Try it out: Research Paper Interactive Proof Generation ode for the TLS extension (NSS library) Smart ontract Library Example Smart ontract Karl Wüst
66 Karl Wüst
67 Figure: Proof generation and proof verification times for random, simulated TLS sessions (client side). Time (ms) Proof Generation: hunk-level (16 B) Proof Verification: hunk-level (16 B) Proof Generation: Record-level Proof Verification: Record-level onversation Size of Session (MB) Karl Wüst
68 Overhead - Processing Time Time (ms) hunk-level (8 B) hunk-level (16 B) hunk-level (32 B) hunk-level (64 B) Record-level Record Length (KB) Karl Wüst
69 Overhead - Requesting a File 10 3 TLS-N Enabled TLS-N Disabled Overhead Time (ms) B 100 B 1 KB 10 KB 100 KB 1 MB 10 MB Size of Requested File Karl Wüst
Privat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende
Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind
Software 1 with Java. Recitation No. 7 (Servlets, Inheritance)
Software 1 with Java Recitation No. 7 (Servlets, Inheritance) Servlets Java modules that run on a Web server to answer client requests For example: Processing data submitted by a browser Providing dynamic
IPv6 Application Trial Services. 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd.
IPv6 Application Trial Services 2003/08/07 Tomohide Nagashima Japan Telecom Co., Ltd. Outline Our Trial Service & Technology Details Activity & Future Plan 2 Outline Our Trial Service & Technology Details
Basic statistics for experimental medical researchers
Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:
Portal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration
Portal Registration Step 1 Provide the necessary information to create your user. Note: First Name, Last Name and Email have to match exactly to your profile in the Membership system. Step 2 Click on the
Digitaliseringsstyrelsen
NemLog-in 29-05-2018 INTERNAL USE Indholdsfortegnelse 1 NEMLOG-IN-LØSNINGER GØRES SIKRERE... 3 1.1 TJENESTEUDBYDERE SKAL FORBEREDE DERES LØSNINGER... 3 1.2 HVIS LØSNINGEN IKKE FORBEREDES... 3 2 VEJLEDNING
BACK-END OG DATA: ADMINISTRATION HVAD ER DE NYE MULIGHEDER MED VERSION 7.1? STEFFEN BILLE RANNES, 4. FEBRUAR 2015
BACK-END OG DATA: ADMINISTRATION HVAD ER DE NYE MULIGHEDER MED VERSION 7.1? STEFFEN BILLE RANNES, 4. FEBRUAR 2015 SAS VISUAL ANALYTICS 7.1 ADMINISTRATOR Mulighed for at udføre handlinger på flere servere
CMS Support for Patient- Centered Medical Homes. Linda M. Magno Director, Medicare Demonstrations
CMS Support for Patient- Centered Medical Homes Linda M. Magno Director, Medicare Demonstrations Overview Congressional support for medical homes reflected in legislation since 2006 Administration support
Improving data services by creating a question database. Nanna Floor Clausen Danish Data Archives
Improving data services by creating a question database Nanna Floor Clausen Danish Data Archives Background Pressure on the students Decrease in response rates The users want more Why a question database?
CHAPTER 8: USING OBJECTS
Ruby: Philosophy & Implementation CHAPTER 8: USING OBJECTS Introduction to Computer Science Using Ruby Ruby is the latest in the family of Object Oriented Programming Languages As such, its designer studied
Security Handshake Pitfalls
handshake 1 Security Handshake Pitfalls Slide 1 Login with Shared Secret: Variant 1 B: R, A:K AB frg, wherekfg can be hash ffl authentication not mutual ffl connection hijacking ffl off-line password attack
KANDIDATUDDANNELSE I ROBOTTEKNOLOGI
KANDIDATUDDANNELSE I ROBOTTEKNOLOGI THOMAS BAK 1971 2016 Baggrund Behov for uddannelsen Uddannelsens forskningsmæssige forankring Uddannelsens faglige profil Uddannelsens struktur og tilrettelæggelse Baggrund
Aktivering af Survey funktionalitet
Surveys i REDCap REDCap gør det muligt at eksponere ét eller flere instrumenter som et survey (spørgeskema) som derefter kan udfyldes direkte af patienten eller forsøgspersonen over internettet. Dette
DET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index
DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE
Applications. Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION. Slides adapted from Phillip Koehn
Applications Slides adapted from Phillip Koehn Computational Linguistics: Jordan Boyd-Graber University of Maryland RL FOR MACHINE TRANSLATION Computational Linguistics: Jordan Boyd-Graber UMD Applications
Vina Nguyen HSSP July 13, 2008
Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between
LEADit & USEit 2018 CampusHuset - Campus Bindslevs Plads i Silkeborg 25. Oktober 2018
LEADit & USEit 2018 CampusHuset - Campus Bindslevs Plads i Silkeborg 25. Oktober 2018 Global visibility for assets and field equipment - Enhancing efficiency, utilization, and safety Agenda Forhistorie,
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU
PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION
Help / Hjælp
Home page Lisa & Petur www.lisapetur.dk Help / Hjælp Help / Hjælp General The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family. The Association
Studieordning del 3,
Studieordning del 3, 2014-2016 Autoteknolog, Valgfri Uddannelseselementer Academy Profession Degree in Automotive Technology Version 0.1 Revideret 19. august 2015 Side 0 af 6 Indhold Studieordningens del
3D NASAL VISTA TEMPORAL
USER MANUAL www.nasalsystems.es index index 2 I. System requirements 3 II. Main menu 4 III. Main popup menu 5 IV. Bottom buttons 6-7 V. Other functions/hotkeys 8 2 I. Systems requirements ``Recommended
Exploring Subversive Eclipse SVN Team Provider
Exploring Subversive Eclipse SVN Team Provider Eclipse Summit Europe 2007 Presenter: Igor Vinnykov (igor.vinnykov@polarion.org), Polarion Software 2007 by Igor Vinnykov; made available under the EPL v1.0
Forretningsmodeller for mobile applikationer
Forretningsmodeller for mobile applikationer Indsigt og strategi Søren Kottal Eskildsen Alexandra Instituttet A/S Skabelon til forretningsmodel for mobile Click to edit Master title style applikationer
Heuristics for Improving
Heuristics for Improving Model Learning Based Testing Muhammad Naeem Irfan VASCO-LIG LIG, Computer Science Lab, Grenoble Universities, 38402 Saint Martin d Hères France Introduction Component Based Software
Using SL-RAT to Reduce SSOs
Using SL-RAT to Reduce SSOs Daniel R. Murphy, P.E. Lindsey L. Donbavand November 17, 2016 Presentation Outline Background Overview of Acoustic Inspection Approach Results Conclusion 2 Background Sanitary
ATEX direktivet. Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.
ATEX direktivet Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.dk tlf: 7220 2693 Vedligeholdelse af Certifikater / tekniske dossier / overensstemmelseserklæringen.
Webside score facebook.com
Webside score facebook.com Genereret Januar 14 2019 10:26 AM Scoren er 44/100 SEO Indhold Titel Facebook - Log In or Sign Up Længde : 28 Perfekt, din titel indeholder mellem 10 og 70 bogstaver. Beskrivelse
ISA Server 2006 Del 5. Jesper Hanno Hansen Jphan@wmdata.dk
ISA Server 2006 Del 5 Jesper Hanno Hansen Jphan@wmdata.dk Agenda Overblik over sessionen Konfigurerer RDP publisering Konfigurerer Exchange Access (OWA, RPC http og EAS) Næste Webcast Overblik over sessionen
Procuring sustainable refurbishment
SURE den 21. marts 2012 Procuring sustainable refurbishment Niels-Arne Jensen, Copenhagen City Properties (KEjd) Copenhagen Municipality KOMMUNE 1 Agenda About Copenhagen City Properties Background and
RADIANCE WORKSHOP, October ROHIT MANUDHANE CHRISTOPH REINHART Harvard Graduate School of Design
DAYLIGHTING NOMOGRAPHS REVISITED RADIANCE WORKSHOP, October 23 2009 ROHIT MANUDHANE CHRISTOPH REINHART LBL DAYLIGHTING NOMOGRAPHS Originated from the 1984 paper p titled LBL Daylighting Nomographs by Selkowitz
Particle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints
Particle-based T-Spline Level Set for 3D Object Reconstruction with Range and Volume Constraints Robert Feichtinger (joint work with Huaiping Yang, Bert Jüttler) Institute of Applied Geometry, JKU Linz
MOC On-Demand Identity with Windows Server 2016 [20742]
![MOC On-Demand Identity with Windows Server 2016 [20742]](/thumbs/96/127092931.jpg "MOC On-Demand Identity with Windows Server 2016 [20742]")
E-learning 90 dage DKK 7.999 Nr. 89067 P ekskl. moms Dato Sted 29-12-2019 Virtuelt kursus MOC On-Demand Identity with Windows Server 2016 [20742] Online undervisning når det passer dig MOC On-Demand er
Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013
Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 OVERVIEW I m working with Professor Evans in the Philosophy Department on his own edition of W.E.B.
Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances.
System Model Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances. Each process utilizes a resource as follows: request use e.g., request
E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss
E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss Brugervejledning (side 2-6) Userguide (page 7-11) Bedienungsanleitung 1 - Hvordan forbinder du din E-PAD hængelås med din
Independent Living & EU s 7. Rammeprogram
Independent Living & EU s 7. Rammeprogram EU Baggrund Et eksempel Diskussion: Samarbejds- og projektmuligheder Morten Kyng, Center for Pervasive Healthcare, IT-byen Katrinebjerg sundhedsitnet 9. Februar
IPTV Box (MAG250/254) Bruger Manual
IPTV Box (MAG250/254) Bruger Manual Når din STB (Set top Box) starter op, bliver der vist en pop up boks på skærmen, hvor du kan åbne EPG ved at trykke på F2 (Nogle bokse kan fortælle at den har brug for
ArbejsskadeAnmeldelse
ArbejsskadeAnmeldelse OpretAnmeldelse 001 All Klassifikations: KlassifikationKode is an unknown value in the current Klassifikation 002 All Klassifikations: KlassifikationKode does not correspond to KlassifikationTekst
The SourceOne Family Today and Tomorrow. Michael Søriis Business Development Manager, EMC FUJITSU
The SourceOne Family Today and Tomorrow Michael Søriis Business Development Manager, EMC FUJITSU The Calculus of Information Growth Increasing Adoption More Users Increasing Data Active Inactive Higher
Digital Quick Setup Guide
Digital 9 Quick Setup Guide live, ch, sys The operating odes of the EM 946 Observing paraeters during transission live RF and audio level Diversity evaluation Configuring the syste sys Charge status of
Breaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11
Breaking Industrial Ciphers at a Whim MATE SOOS PRESENTATION AT HES 11 Story line 1 HiTag2: reverse-engineered proprietary cipher 2 Analytic tools are needed to investigate them 3 CryptoMiniSat: free software
Integrated Total Facility Management for Real Estate, Infrastructure & Facility Management
Integrated Total Facility Management for Real Estate, Infrastructure & Facility Management Udfordringen Top down Lederskab visioner Buttom up Fakta om Informi GIS 90 medarbejdere Full-size IT hus; salg/rådgivning/
DSB s egen rejse med ny DSB App. Rubathas Thirumathyam Principal Architect Mobile
DSB s egen rejse med ny DSB App Rubathas Thirumathyam Principal Architect Mobile Marts 2018 AGENDA 1. Ny App? Ny Silo? 2. Kunden => Kunderne i centrum 1 Ny app? Ny silo? 3 Mødetitel Velkommen til Danske
Transaction Services. Basware Experience User Forum Collaborate. Innovate. Succeed.
Transaction Services 3B Optimering af processer for afsendelse og modtagelse af fakturaer Karina Carlsen & Camilla Holbøll Basware Experience User Forum Collaborate. Innovate. Succeed. Australia Denmark
IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1
IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is
Workshop G4 MicroStation V8 XM edtion nye værktøjer 2
Workshop G4 MicroStation V8 XM edtion nye værktøjer 2 FØR I BEGYNDER......1 ACCUDRAW...2 ROTATE VIEW...2 ROTATE ELEMENT...2 ANDRE NYE ACCUDRAW SHORTCUTS...2 SHORTCUTS...3 DE VIGTIGSTE...3 CTRL OG EN FUNKTIONSTAST
LED STAR PIN G4 BASIC INFORMATION: Series circuit. Parallel circuit. www.osram.com 1. HOW CAN I UNDERSTAND THE FOLLOWING SHEETS?
BASIC INFORMATION: 1. HOW CAN I UNDERSTAND THE FOLLOWING SHES? Compatibility to OSRAM s: -Series Circuit... Page 2 -Parallel Circuit... Page 3 Compatibility to OTHER s : -Series Circuit... Page 4 -Parallel
RoE timestamp and presentation time in past
RoE timestamp and presentation time in past Jouni Korhonen Broadcom Ltd. 5/26/2016 9 June 2016 IEEE 1904 Access Networks Working Group, Hørsholm, Denmark 1 Background RoE 2:24:6 timestamp was recently
GIGABIT COLOR IP PHONE
GIGABIT COLOR IP PHONE USER GUIDE UC924 Version:1.0.0.1 Nanjing Hanlong Technology Co., Ltd 86-25-84608050 www.h-tek.com support@h-tek.com Notices Information 1 Notices Information 2 Table of Content Notices
Instruktioner i installation og afinstallation af Windows PostScript- og PCLprinterdrivere
Instruktioner i installation og afinstallation af Windows PostScript- og PCLprinterdrivere version 8 Denne fil med vigtige oplysninger indeholder en vejledning til installation af Custom PostScript- og
Ventilation. Du skal selv være med til at holde din lejlighed sund You are responsible too: keep your apartment healthy
Ventilation Du skal selv være med til at holde din lejlighed sund You are responsible too: keep your apartment healthy Ventilation Ventilation Din lejlighed er renoveret, for at du skal have et sundt indeklima.
ABC Fremtidens signatur
ABC Fremtidens signatur Gert Læssøe Mikkelsen Alexandra Instituttet A/S gert.l.mikkelsen@alexandra.dk Kort om Alexandra Instituttet A/S Almennyttigt, anvendelsesorienteret forskningsinstitut fokus på IT
The server successfully processed the request and is not returning any content.
Fejlkoder Denne side indeholder en liste af fejlkoder, beskeder og beskrivelser, som du som anvender vil møde på Selvbetjeningen. Se den fulde dokumentation for Fejlkoder og beskeder. Http Status codes
PARATHOM / PARATHOM PRO MR16 Electric Transformer Compatibility
/ PRO MR16 Electric Transformer Compatibility BASIC INFORMATION: 1. HOW CAN I UNDERSTAND THE FOLLOWING SHES? Compatibility to OSRAM s: -Series Circuit... Page 2 -Parallel Circuit... Page 3 Compatibility
what is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?
what is this all about? v A Introduction three-phase diode bridge rectifier D1 D D D4 D5 D6 i OUT + v OUT v B i 1 i i + + + v 1 v v input voltages input voltages, waveforms v 1 = V m cos ω 0 t v = V m
Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi
Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi Udbud d af kalkulationsmetoder l t Economic Value Added, Balanced Scorecard, Activity Based Costing,
Side 1 af 9. SEPA Direct Debit Betalingsaftaler Vejledning
Side 1 af 9 SEPA Direct Debit Betalingsaftaler Vejledning 23.11.2015 1. Indledning Denne guide kan anvendes af kreditorer, som ønsker at gøre brug af SEPA Direct Debit til opkrævninger i euro. Guiden kan
Da beskrivelserne i danzig Profile Specification ikke er fuldt færdige, foreslås:
NOTAT 6. juni 2007 J.nr.: 331-3 LEA Bilag A danzig-møde 15.6.2007 Opdatering af DAN-1 og danzig Profile Specification Forslag til opdatering af Z39.50 specifikationerne efter udgivelse af Praksisregler
Feedback Informed Treatment
Feedback Informed Treatment Talk in your work groups: Discuss how FIT can make sense in your work context. Discuss benefits and challenges of using FIT in your work place. Generate questions for Susanne
Brug sømbrættet til at lave sjove figurer. Lav fx: Få de andre til at gætte, hvad du har lavet. Use the nail board to make funny shapes.
Brug sømbrættet til at lave sjove figurer. Lav f: Et dannebrogsflag Et hus med tag, vinduer og dør En fugl En bil En blomst Få de andre til at gætte, hvad du har lavet. Use the nail board to make funn
Agenda. Muligheder for anvendelse. Komponenter. Features. Restore muligheder. DR og TSM integration. Repository. Demo. Spørgsmål
Agenda Muligheder for anvendelse Komponenter Features Restore muligheder DR og TSM integration Repository Demo Spørgsmål Muligheder for anvendelse Data Center dmsave/lokal TSM Remote Office Application
Children s velomobility how cycling children are made and sustained
Children s velomobility how cycling children are made and sustained Trine Agervig Carstensen, tac@ign.ku.dk Anton Stahl Olafsson, asol@ign.ku.dk Thomas Sick Nielsen, thnie@transport.dtu.dk Trafikdage i
Sikkerhed & Revision 2013
Sikkerhed & Revision 2013 Samarbejde mellem intern revisor og ekstern revisor - og ISA 610 v/ Dorthe Tolborg Regional Chief Auditor, Codan Group og formand for IIA DK RSA REPRESENTATION WORLD WIDE 300
Status of & Budget Presentation. December 11, 2018
Status of 2018-19 & 2019-20 Budget Presentation December 11, 2018 1 Challenges & Causes $5.2M+ Shortfall does not include potential future enrollment decline or K-3 Compliance. Data included in presentation
Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer?
Kandidatuddannelsen i Informationsarkitektur - Aalborg 3 respondenter 10 spørgeskemamodtagere Svarprocent: 30% Forventer du at afslutte uddannelsen/har du afsluttet/ denne sommer? I hvilken grad har uddannelsen
Sortering fra A-Z. Henrik Dorf Chefkonsulent SAS Institute
Sortering fra A-Z Henrik Dorf Chefkonsulent SAS Institute Hvorfor ikke sortering fra A-Å? Det er for svært Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å? Hvorfor ikke sortering fra A-Å?
ESG reporting meeting investors needs
ESG reporting meeting investors needs Carina Ohm Nordic Head of Climate Change and Sustainability Services, EY DIRF dagen, 24 September 2019 Investors have growing focus on ESG EY Investor Survey 2018
Kommunikation mellem PID-leverandør og applikationsserviceudbyder
Dansk standard DS 843-2 2. udgave 2003-12-16 Kommunikation mellem PID-leverandør og applikationsserviceudbyder Communication between PID supplier and application service provider DS 843-2 København DS
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2013 2013. 4. 18 () () (CS) ( ) () () () (02-3786-0662) (02-3786-0456) (02-3786-0761) (02-3786-0674) (02-3786-0342) (02-3786-0455) (02-3786-0495) (02-3786-0495) (02-3786-0632) (02-3786-0478) (02-3786-0453)
applies equally to HRT and tibolone this should be made clear by replacing HRT with HRT or tibolone in the tibolone SmPC.
Annex I English wording to be implemented SmPC The texts of the 3 rd revision of the Core SPC for HRT products, as published on the CMD(h) website, should be included in the SmPC. Where a statement in
Projekt DATA step view
Projekt DATA step view Af Louise Beuchert Formål Formålet med dette projekt, er at sammenligne tid/ressourcekonsekvenser ved at køre SASjobs på data hentet som henholdsvis en fysisk kopi af data filen
PEMS RDE Workshop. AVL M.O.V.E Integrative Mobile Vehicle Evaluation
PEMS RDE Workshop AVL M.O.V.E Integrative Mobile Vehicle Evaluation NEW - M.O.V.E Mobile Testing Platform Key Requirements for Measuring Systems Robustness Shock / vibrations Change of environment Compact
Website review groweasy.dk
Website review groweasy.dk Generated on September 01 2016 10:32 AM The score is 56/100 SEO Content Title Webbureau Odense GrowEasy hjælper dig med digital markedsføring! Length : 66 Perfect, your title
LINK-56K. Emulator for Motorola s DSPs. A Product of Domain Technologies, Inc.
LINK-56K Emulator for Motorola s DSPs A Product of Domain Technologies, Inc. LINK-56K User s Guide, Version1.05 September, 2003 DSPs supported by this product: Motorola DSP56001 Motorola DSP56002 and derivatives
DKAL Snitflader REST HTTP returkoder
DKAL Snitflader REST HTTP returkoder 1 Indholdsfortegnelse INDHOLDSFORTEGNELSE 2 A5.1 INTRODUKTION 3 A5.2 HTTP RETURKODER 3 A5.3 DKAL FEJLKODER 6 A5.3.1 DKAL XML FEJLFORMAT 7 Bilag A5: REST HTTP returkoder
Solvency II Clarification of current regulations
www.pwc.dk Clarification of current regulations SIX Financial Information 24th of Jette Lunding Sandqvist, Actuary, Director Revision. Skat. Rådgivning. Agenda What s in focus? A view from an actuary What
Åben dialogmøde Anvendelse af BIM i infrastruktur
Åben dialogmøde Anvendelse af BIM i infrastruktur Dagens program Velkommen og rammesætning Kort status om arbejdet i BIM Infra.dk Diskussionsrunde Pause Præsentation BIM uses anvendelse af BIM modellen
Get Instant Access to ebook Udleveret PDF at Our Huge Library UDLEVERET PDF. ==> Download: UDLEVERET PDF
UDLEVERET PDF ==> Download: UDLEVERET PDF UDLEVERET PDF - Are you searching for Udleveret Books? Now, you will be happy that at this time Udleveret PDF is available at our online library. With our complete
Status på det trådløse netværk
Status på det trådløse netværk Der er stadig problemer med det trådløse netværk, se status her: http://driftstatus.sdu.dk/?f=&antal=200&driftid=1671#1671 IT-service arbejder stadig med at løse problemerne
Business Opening. Very formal, recipient has a special title that must be used in place of their name
- Opening English Danish Dear Mr. President, Kære Hr. Direktør, Very formal, recipient has a special title that must be used in place of their name Dear Sir, Formal, male recipient, name unknown Dear Madam,
Business Opening. Very formal, recipient has a special title that must be used in place of their name
- Opening Danish English Kære Hr. Direktør, Dear Mr. President, Very formal, recipient has a special title that must be used in place of their name Kære Hr., Formal, male recipient, name unknown Kære Fru.,
SEPA Direct Debit. Mandat Vejledning 2013.03.15. Nets Lautrupbjerg 10 DK-2750 Ballerup
SEPA Direct Debit Mandat Vejledning 2013.03.15 Nets Lautrupbjerg 10 DK-2750 Ballerup Indholdsfortegnelse 1. Indledning... 3 1.1 Tilknyttet dokumentation... 3 1.2 Kontakt til Nets... 3 2. Krav til SEPA
PMDK PC-Side Basic Function Reference (Version 1.0)
PMDK PC-Side Basic Function Reference (Version 1.0) http://www.icpdas.com PMDK PC-Side Basic Function Reference V 1.0 1 Warranty All products manufactured by ICPDAS Inc. are warranted against defective
CLARIN-DK Status. info.clarin.dk. Bente Maegaard. National Coordinator Vice Executive Director
CLARIN-DK Status info.clarin.dk Bente Maegaard National Coordinator Vice Executive Director bmaegaard@hum.ku.dk Danish funding scheme First Danish CLARIN funding 2008-2011 - Research infrastructure funds
3D NASAL VISTA 2.0
USER MANUAL www.nasalsystems.es index index 2 I. System requirements 3 II. Main menu 4 III. Main popup menu 5 IV. Bottom buttons 6-7 V. Other functions/hotkeys 8 2 I. Systems requirements ``Recommended
MARITIME PROFESSIONALS, ASHORE AND AT SEA. Online Identitet. 29-03-2011 www.job2sea.com 1
Online Identitet 2011 29-03-2011 www.job2sea.com 1 Online Identity The social web, i.e. the usage of the web to support the social process, represents a space in which people have the possibility to express
SAS Corporate Program Website
SAS Corporate Program Website Dear user We have developed SAS Corporate Program Website to make the administration of your company's travel activities easier. You can read about it in this booklet, which
FairSSL Fair priser fair support
Small Business Server 2011 SSL certifikat administration Følgende vejledning beskriver hvordan man installere et certifikat på en SBS 2011 server. Ved bestilling af certifikater til Small Business Server
CART MULTITEK CART MULTITEK CART. The MultiTek Cart
CART INDEX PAGE(S) The MultiTek Cart 180-181 180 ROUSSEAUMETAL.COM INFO@ROUSSEAUMETAL.COM CART THE ROUSSEAU DIFFERENCE LOCKABLE COVER Opens 90 for unrestricted access to the shelf COMFORTABLE AND ERGONOMIC
Agenda. The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark
Agenda The need to embrace our complex health care system and learning to do so. Christian von Plessen Contributors to healthcare services in Denmark Colitis and Crohn s association Denmark. Charlotte
PR day 7. Image+identity+profile=branding
PR day 7 Image+identity+profile=branding A few definitions Public Relations is the planned and sustained effort to establish and maintain goodwill and understanding between an organisation and it s public.
The RobustRailS Verification Tool Set
The RobustRailS Verification Tool Set for Safety Verification of Interlocking Systems Linh, H. Vu, Technical University of Denmark Anne E. Haxthausen, Technical University of Denmark Jan Peleska, University
StarWars-videointro. Start din video på den nørdede måde! Version: August 2012
StarWars-videointro Start din video på den nørdede måde! Version: August 2012 Indholdsfortegnelse StarWars-effekt til videointro!...4 Hent programmet...4 Indtast din tekst...5 Export til film...6 Avanceret
Login til DOLL Visitor Center kalender
Log Ind C: Hjælp Venligst log ind Login til DOLL Visitor Center kalender Bruger Login Email: [din@email-adresse.dk Adgangskode:.,.. FILL IN TO LOGIN Hold mig logget ind O Husk min e-mail 0 Spørg mig hver
Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1
Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words
3 Tilføj printer "HP-GL/2 devices, ADI 4.3 - for Autodesk by HP" 5 Klik "Printer ikonet" - Print/Plot configuration
Plot filer fra AutoCad 14. 1 Åben Autocad 14 2 Klik "Filer" og vælg "Printer setup" 3 Tilføj printer "HP-GL/2 devices, ADI 4.3 - for Autodesk by HP" 4 Klik "Ok" 5 Klik "Printer ikonet" - Print/Plot configuration
From innovation to market
Nupark Accelerace From innovation to market Public money Accelerace VC Private Equity Stock market Available capital BA 2 What is Nupark Accelerace Hands-on investment and business developmentprograms
User Manual for LTC IGNOU
User Manual for LTC IGNOU 1 LTC (Leave Travel Concession) Navigation: Portal Launch HCM Application Self Service LTC Self Service 1. LTC Advance/Intimation Navigation: Launch HCM Application Self Service
Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US
Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs
FairSSL Fair priser fair support
Small Business Server 2008 SSL certifikat administration Følgende vejledning beskriver hvordan man installere et certifikat på en SBS 2008 server. Ved bestilling af certifikater til Small Business Server