Enviar búsqueda
Cargar
Ws4 dsec talk @ Kickoff RS3
•
0 recomendaciones
•
948 vistas
Universität Rostock
Seguir
Tecnología
Denunciar
Compartir
Denunciar
Compartir
1 de 33
Descargar ahora
Descargar para leer sin conexión
Recomendados
Networking ieee-project-topics-ocularsystems.in
Networking ieee-project-topics-ocularsystems.in
Ocular Systems
Web Services Discovery for Devices
Web Services Discovery for Devices
Jorgen Thelin
Optimised Calculation of Symmetries for State Space Reduction
Optimised Calculation of Symmetries for State Space Reduction
Universität Rostock
Analyzing Interacting BPEL Processes
Analyzing Interacting BPEL Processes
Universität Rostock
Analyzing BPEL4Chor: Verification and Participant Synthesis
Analyzing BPEL4Chor: Verification and Participant Synthesis
Universität Rostock
Correctness Ensuring Process Configuration: An Approach Based on Partner Synt...
Correctness Ensuring Process Configuration: An Approach Based on Partner Synt...
Universität Rostock
Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work
Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work
Universität Rostock
Extending the Compatibility Notion for Abstract WS-BPEL Processes
Extending the Compatibility Notion for Abstract WS-BPEL Processes
Universität Rostock
Recomendados
Networking ieee-project-topics-ocularsystems.in
Networking ieee-project-topics-ocularsystems.in
Ocular Systems
Web Services Discovery for Devices
Web Services Discovery for Devices
Jorgen Thelin
Optimised Calculation of Symmetries for State Space Reduction
Optimised Calculation of Symmetries for State Space Reduction
Universität Rostock
Analyzing Interacting BPEL Processes
Analyzing Interacting BPEL Processes
Universität Rostock
Analyzing BPEL4Chor: Verification and Participant Synthesis
Analyzing BPEL4Chor: Verification and Participant Synthesis
Universität Rostock
Correctness Ensuring Process Configuration: An Approach Based on Partner Synt...
Correctness Ensuring Process Configuration: An Approach Based on Partner Synt...
Universität Rostock
Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work
Analyzing Interacting BPEL Processes - An Overview of the Chair’s Work
Universität Rostock
Extending the Compatibility Notion for Abstract WS-BPEL Processes
Extending the Compatibility Notion for Abstract WS-BPEL Processes
Universität Rostock
Why does my service have no partners?
Why does my service have no partners?
Universität Rostock
Set Algebra for Service Behavior
Set Algebra for Service Behavior
Universität Rostock
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Universität Rostock
Controllability: A Soundness Criterion for Services
Controllability: A Soundness Criterion for Services
Universität Rostock
Saarbruecken
Saarbruecken
Universität Rostock
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Universität Rostock
Decidability Issues for Decentralized Controllability of Open Nets
Decidability Issues for Decentralized Controllability of Open Nets
Universität Rostock
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
Universität Rostock
Decentralized Controllability
Decentralized Controllability
Universität Rostock
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
Universität Rostock
A Theory of Service Behavior
A Theory of Service Behavior
Universität Rostock
LoLA - a low-level Petri net analyzer
LoLA - a low-level Petri net analyzer
Universität Rostock
Industry Segula
Industry Segula
Gina Carpio HR Business Partner
Industry Segula
Industry Segula
Gina Carpio HR Business Partner
Steps towards an industrial implementation of HSSP standards
Steps towards an industrial implementation of HSSP standards
Libero Maesano
Cassandra framework a service oriented distributed multimedia
Cassandra framework a service oriented distributed multimedia
João Gabriel Lima
Simplify Your Gape work Operations in four Steps.pdf
Simplify Your Gape work Operations in four Steps.pdf
Narciso Lebsack
Modeling Service Relationships for Service Networks
Modeling Service Relationships for Service Networks
Jorge Cardoso
2011-11-07 Open PHACTS Poster
2011-11-07 Open PHACTS Poster
open_phacts
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
Hans A. Kielland Aanesen
Retrofitting a Factory Automation System to Address Market Needs and Societal...
Retrofitting a Factory Automation System to Address Market Needs and Societal...
FAST-Lab. Factory Automation Systems and Technologies Laboratory, Tampere University of Technology
Elstr Service Department Web Portal - Demo Application
Elstr Service Department Web Portal - Demo Application
Intelliact AG
Más contenido relacionado
Destacado
Why does my service have no partners?
Why does my service have no partners?
Universität Rostock
Set Algebra for Service Behavior
Set Algebra for Service Behavior
Universität Rostock
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Universität Rostock
Controllability: A Soundness Criterion for Services
Controllability: A Soundness Criterion for Services
Universität Rostock
Saarbruecken
Saarbruecken
Universität Rostock
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Universität Rostock
Decidability Issues for Decentralized Controllability of Open Nets
Decidability Issues for Decentralized Controllability of Open Nets
Universität Rostock
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
Universität Rostock
Decentralized Controllability
Decentralized Controllability
Universität Rostock
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
Universität Rostock
A Theory of Service Behavior
A Theory of Service Behavior
Universität Rostock
LoLA - a low-level Petri net analyzer
LoLA - a low-level Petri net analyzer
Universität Rostock
Destacado
(12)
Why does my service have no partners?
Why does my service have no partners?
Set Algebra for Service Behavior
Set Algebra for Service Behavior
service-technology.org — A tool family for correct business processes and ser...
service-technology.org — A tool family for correct business processes and ser...
Controllability: A Soundness Criterion for Services
Controllability: A Soundness Criterion for Services
Saarbruecken
Saarbruecken
Tools4BPEL Tutorial
Tools4BPEL Tutorial
Decidability Issues for Decentralized Controllability of Open Nets
Decidability Issues for Decentralized Controllability of Open Nets
Where did I go wrong? Explaining errors in process models
Where did I go wrong? Explaining errors in process models
Decentralized Controllability
Decentralized Controllability
Diagnosis of Open Workflow Nets
Diagnosis of Open Workflow Nets
A Theory of Service Behavior
A Theory of Service Behavior
LoLA - a low-level Petri net analyzer
LoLA - a low-level Petri net analyzer
Similar a Ws4 dsec talk @ Kickoff RS3
Industry Segula
Industry Segula
Gina Carpio HR Business Partner
Industry Segula
Industry Segula
Gina Carpio HR Business Partner
Steps towards an industrial implementation of HSSP standards
Steps towards an industrial implementation of HSSP standards
Libero Maesano
Cassandra framework a service oriented distributed multimedia
Cassandra framework a service oriented distributed multimedia
João Gabriel Lima
Simplify Your Gape work Operations in four Steps.pdf
Simplify Your Gape work Operations in four Steps.pdf
Narciso Lebsack
Modeling Service Relationships for Service Networks
Modeling Service Relationships for Service Networks
Jorge Cardoso
2011-11-07 Open PHACTS Poster
2011-11-07 Open PHACTS Poster
open_phacts
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
Hans A. Kielland Aanesen
Retrofitting a Factory Automation System to Address Market Needs and Societal...
Retrofitting a Factory Automation System to Address Market Needs and Societal...
FAST-Lab. Factory Automation Systems and Technologies Laboratory, Tampere University of Technology
Elstr Service Department Web Portal - Demo Application
Elstr Service Department Web Portal - Demo Application
Intelliact AG
20080422 Overview of ICT research in Software & Services
20080422 Overview of ICT research in Software & Services
Arian Zwegers
Open Semantic Service Networks: Modeling and Analysis
Open Semantic Service Networks: Modeling and Analysis
Jorge Cardoso
Services and Linked Data: John Domingue (KMi, UK)
Services and Linked Data: John Domingue (KMi, UK)
FIA2010
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...
Alessandra Bagnato
Wi iat-bootstrapping the analysis of large-scale web service networks-v3
Wi iat-bootstrapping the analysis of large-scale web service networks-v3
Shahab Mokarizadeh
saad15_Final Thesis Draft
saad15_Final Thesis Draft
Sasank Sai Sujan Adapa
Kalman Graffi - 10 Slide - 2010
Kalman Graffi - 10 Slide - 2010
Kalman Graffi
20091021 At Crossroads: Internet of Services Research beyond Call 5
20091021 At Crossroads: Internet of Services Research beyond Call 5
Arian Zwegers
Kalman Graffi - Monitoring and Management of P2P Systems - 2010
Kalman Graffi - Monitoring and Management of P2P Systems - 2010
Kalman Graffi
Effects of Wireless Packet Loss in Industrial Process Control Systems
Effects of Wireless Packet Loss in Industrial Process Control Systems
ISA Interchange
Similar a Ws4 dsec talk @ Kickoff RS3
(20)
Industry Segula
Industry Segula
Industry Segula
Industry Segula
Steps towards an industrial implementation of HSSP standards
Steps towards an industrial implementation of HSSP standards
Cassandra framework a service oriented distributed multimedia
Cassandra framework a service oriented distributed multimedia
Simplify Your Gape work Operations in four Steps.pdf
Simplify Your Gape work Operations in four Steps.pdf
Modeling Service Relationships for Service Networks
Modeling Service Relationships for Service Networks
2011-11-07 Open PHACTS Poster
2011-11-07 Open PHACTS Poster
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
IEEE DEST 2013 tGov presentation (Transformational Government: Sustainable In...
Retrofitting a Factory Automation System to Address Market Needs and Societal...
Retrofitting a Factory Automation System to Address Market Needs and Societal...
Elstr Service Department Web Portal - Demo Application
Elstr Service Department Web Portal - Demo Application
20080422 Overview of ICT research in Software & Services
20080422 Overview of ICT research in Software & Services
Open Semantic Service Networks: Modeling and Analysis
Open Semantic Service Networks: Modeling and Analysis
Services and Linked Data: John Domingue (KMi, UK)
Services and Linked Data: John Domingue (KMi, UK)
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...
The OMG UML Testing Profile in Use--An Industrial Case Study for the Future I...
Wi iat-bootstrapping the analysis of large-scale web service networks-v3
Wi iat-bootstrapping the analysis of large-scale web service networks-v3
saad15_Final Thesis Draft
saad15_Final Thesis Draft
Kalman Graffi - 10 Slide - 2010
Kalman Graffi - 10 Slide - 2010
20091021 At Crossroads: Internet of Services Research beyond Call 5
20091021 At Crossroads: Internet of Services Research beyond Call 5
Kalman Graffi - Monitoring and Management of P2P Systems - 2010
Kalman Graffi - Monitoring and Management of P2P Systems - 2010
Effects of Wireless Packet Loss in Industrial Process Control Systems
Effects of Wireless Packet Loss in Industrial Process Control Systems
Más de Universität Rostock
Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
Universität Rostock
Decidability Results for Choreography Realization
Decidability Results for Choreography Realization
Universität Rostock
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
Universität Rostock
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
Universität Rostock
Verification with LoLA
Verification with LoLA
Universität Rostock
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
Universität Rostock
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Universität Rostock
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
Universität Rostock
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
Universität Rostock
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
Universität Rostock
Verification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
Universität Rostock
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
Universität Rostock
Internal Behavior Reduction for Services
Internal Behavior Reduction for Services
Universität Rostock
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Universität Rostock
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
Universität Rostock
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Universität Rostock
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
Universität Rostock
Analyzing Web Service Behavior
Analyzing Web Service Behavior
Universität Rostock
Modellierung eines verteilten Algorithmus
Modellierung eines verteilten Algorithmus
Universität Rostock
Analyzing Interacting BPEL Processes - A Tool Demo
Analyzing Interacting BPEL Processes - A Tool Demo
Universität Rostock
Más de Universität Rostock
(20)
Pragmatic model checking: from theory to implementations
Pragmatic model checking: from theory to implementations
Decidability Results for Choreography Realization
Decidability Results for Choreography Realization
Artifact-centric modeling using BPMN
Artifact-centric modeling using BPMN
Compliance by Design for Artifact-Centric Business Processes
Compliance by Design for Artifact-Centric Business Processes
Verification with LoLA
Verification with LoLA
Verification with LoLA: 7 Implementation
Verification with LoLA: 7 Implementation
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 6 Integrating LoLA
Verification with LoLA: 5 Case Studies
Verification with LoLA: 5 Case Studies
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 4 Using LoLA
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 3 State Space Reduction
Verification with LoLA: 1 Basics
Verification with LoLA: 1 Basics
Verification with LoLA: 2 The LoLA Input Language
Verification with LoLA: 2 The LoLA Input Language
Internal Behavior Reduction for Services
Internal Behavior Reduction for Services
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Karsten Wolf @ Carl Adam Petri Memorial Symposium
Implementation of an Interleaving Semantics for TLDA
Implementation of an Interleaving Semantics for TLDA
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Formale Fundierung und effizientere Implementierung der schrittbasierten TLDA...
Demonstration of BPEL2oWFN and Fiona
Demonstration of BPEL2oWFN and Fiona
Analyzing Web Service Behavior
Analyzing Web Service Behavior
Modellierung eines verteilten Algorithmus
Modellierung eines verteilten Algorithmus
Analyzing Interacting BPEL Processes - A Tool Demo
Analyzing Interacting BPEL Processes - A Tool Demo
Último
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
The Digital Insurer
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
apidays
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
wesley chun
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
Puma Security, LLC
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Delhi Call girls
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Neo4j
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
Rafal Los
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Drew Madelung
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
wesley chun
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
hans926745
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
Enterprise Knowledge
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
Delhi Call girls
How to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
naman860154
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
Gabriella Davis
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
giselly40
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
sudhanshuwaghmare1
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
Khem
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
Safe Software
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Igalia
Último
(20)
Finology Group – Insurtech Innovation Award 2024
Finology Group – Insurtech Innovation Award 2024
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Automating Google Workspace (GWS) & more with Apps Script
Automating Google Workspace (GWS) & more with Apps Script
Breaking the Kubernetes Kill Chain: Host Path Mount
Breaking the Kubernetes Kill Chain: Host Path Mount
08448380779 Call Girls In Friends Colony Women Seeking Men
08448380779 Call Girls In Friends Colony Women Seeking Men
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
[2024]Digital Global Overview Report 2024 Meltwater.pdf
[2024]Digital Global Overview Report 2024 Meltwater.pdf
IAC 2024 - IA Fast Track to Search Focused AI Solutions
IAC 2024 - IA Fast Track to Search Focused AI Solutions
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
08448380779 Call Girls In Greater Kailash - I Women Seeking Men
How to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
A Domino Admins Adventures (Engage 2024)
A Domino Admins Adventures (Engage 2024)
CNv6 Instructor Chapter 6 Quality of Service
CNv6 Instructor Chapter 6 Quality of Service
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
From Event to Action: Accelerate Your Decision Making with Real-Time Automation
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Ws4 dsec talk @ Kickoff RS3
1.
www.
.org WS4Dsec Reliably Secure Web Services for Devices Andreas Lehmann, Stefan Pfeiffer, Frank Golatowski, Dirk Timmermann, Karsten Wolf 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 1
2.
Joint Interdisciplinary Research
Project Electrical www. .org Engineering Prof. Dirk Timmermann Computer Science Prof. Karsten Wolf 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 2
3.
Service Oriented Architecture
(SOA) Interaction between business entities register search communicate 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 3
4.
Web Service Technology Interaction
between technical entities UDDI query language: WSDL defined by UDDI register search XML Consumer communicate Web Service WS-BPEL WS-BPEL SOAP driven by >50 industry standards 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 4
5.
Group Wolf –
Computer Science We provide tools & formal methods for analysis of systems and synthesis of services Andreas Lehmann ? Service Service verification Service WS-BPEL diagnosis – Formal Service Model validation 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 5
6.
Group Wolf –
Computer Science We provide tools & formal methods for analysis of systems and synthesis of services others. Andreas ? .. asynchronous Lehmann Service Service hardware circuits verification business processes Service diagnosis WS-BPEL – Service AI Formal Model planning validation biochemical reactions 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 6
7.
Group Wolf –
Computer Science We provide tools & formal methods for analysis of systems and synthesis of services Andreas Lehmann Service ? partner synthesis Service ? Service adapter synthesis Service corrections Specification Test test case Test Test Implementation generation 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 7
8.
Group Wolf –
Computer Science We provide tools & formal methods for analysis of systems and synthesis of services Andreas Lehmann Service ? partner synthesis Service ? Service adapter synthesis Service corrections Formal Model – Specification WS-BPEL Test test case Test Test Implementation generation 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 8
9.
Group Wolf –
Computer Science We provide tools & formal methods for analysis of systems and synthesis of services Andreas Lehmann 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 9
10.
More intelligent devices
coffee machine mobile phones clock picture frame electricity meter refrigerator 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 10
11.
More communication between
devices 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 11
12.
Web Service Technology
to Devices ? Static Configuration Dynamic Configuration Central Directory No Central Directory Resource Hungry Resource Constrained 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 12
13.
DPWS – Devices
Profile for Web Services • Standardized by the WS-DD technical committee • Apply the Web Services technology to the domain of embedded systems • Is already integrated by Microsoft and Windows Vista. 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 13
14.
Devices Profile for
Web Services Directory WS- Discovery WSDL defined by WS-Discovery search announce XML Device / Consumer communicate Web Service SOAP 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 14
15.
DPWS Protocol Stack
Implementation Axis2 gSOAP uDPWS --> --> Enterprise Systems Embedded Systems Sensor Networks Enable Web Service Technology on Devices Compatibility to Enterprise Web Services 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 15
16.
Group Timmermann –
Electrical Engineering We bring Service-Oriented Architecture and Web Services technology to devices Stefan Pfeiffer Embedded Systems Wireless Sensor Networks Enterprise Systems 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 16
17.
Group Timmermann –
Electrical Engineering We bring Service-Oriented Architecture and Web Services technology to devices Stefan Pfeiffer • Involved in the WS-DD Embedded technical committee together with Systems e.g. Wireless Sensor Networks • Participation on Standardization of DPWS Enterprise Systems 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 17
18.
Group Timmermann –
Electrical Engineering We bring Service-Oriented Architecture and Web Services technology to devices Stefan Pfeiffer • Involved in the WS-DD Embedded technical committee together with Systems e.g. Wireless Sensor Networks • Participation on Standardization of DPWS Enterprise • WS4D.org initiative Systems 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 18
19.
Group Timmermann –
Electrical Engineering We bring Service-Oriented Architecture and Web Services technology to devices Stefan Pfeiffer • Involved in the WS-DD Embedded technical committee together with Systems e.g. Wireless Sensor Networks • Participation on Standardization of DPWS Enterprise • WS4D.org initiative Systems • WS-BPEL extension BPEL4D 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 19
20.
Group Timmermann –
Electrical Engineering We bring Service-Oriented Architecture and Web Services technology to devices • Involved in the WS-DD Stefan Pfeiffer Embedded technical committee together with e.g. Systems Wireless Sensor Networks Industrial Home • Participation on Standardization of Automotive DPWS • WS4D.org initiative Enterprise Systems • WS-BPEL extension BPEL4D Tele- communication Medical • Cross Domain Solutions 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 20
21.
The Internet of
Things 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 21
22.
The Internet of
Things Security ? 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 22
23.
Security in DPWS
RSA X.509v3 SHA Encryption + Transport Level Security RC4 AES Encryption U Security 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 23
24.
Challenges
Challenges: Security in DPWS • Central Authority may not be available 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 24
25.
Challenges
Challenges: Security in DPWS • Central Authority may not be available • X.509.v3 message overhead S. Unger, Sichere Service Schnittstellen für vernetzte Automotive Applikationen 2/21/11 Universität Rostock © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 25
26.
Challenges
Challenges: Security in DPWS Moteiv TelosB Wireless Sensor Node • Central Authority may not be available CPU: 8 MHz TI MSP430 µC • X.509.v3 message overhead RAM: 10 kByte Flash: 48 kByte • Restricted Memory (Ressource) Christian Lerche uDPWS – Introduction http://code.google.com/p/udpws/wiki/ 2/21/11 Introduction © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 26
27.
Challenges
Challenges: Security in DPWS Energy Consumption for Message Signing • Central Authority may not be available 3000,0 • X.509.v3 message overhead Energy Consumption in mJ 2250,0 • Restricted Memory (Ressource) • Power Consumption 1500,0 750,0 0,0 RSA_1024 RSA_2048 ECC_160 ECC_224 A. S. Wander, N. Gura, H. Eberle, V. Gupta, Sh. Ch. Shantz, “Energy analysis of public-key cryptography for wireless sensor 2/21/11 networks”, 2005 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 27
28.
Challenges
Challenges: Security in DPWS • Central Authority may not be available • X.509.v3 message overhead • Restricted Memory (Ressource) Transport Level • Power Consumption Security --> • Granularity of Security Concepts Message Message Level Security 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 28
29.
Challenges
Challenges: Security in DPWS • Central Authority may not be available • X.509.v3 message overhead • Restricted Memory (Ressource) • Power Consumption • Granularity of Security Concepts • Interoperability and Integration 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 29
30.
Challenges
Challenges: Security in DPWS device • Central Authority may not be available interaction • X.509.v3 message overhead • Restricted Memory (Ressource) • Power Consumption • Granularity of Security Concepts • Interoperability and Integration • Formal modelling power consumption security aspects 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 30
31.
Challenges
Challenges: Security in DPWS • Central Authority may not be available • X.509.v3 message overhead • Restricted Memory (Ressource) • Power Consumption + • Granularity of Security Concepts • Interoperability and Integration • Formal modelling • Improve / adapt existing solutions --> tools 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 31
32.
Approach Formally model devices, constraints,
and requirements Validate model in case studies Propose protocols, contracts, algorithms and formally verify them. ...import competencies from RS 3 Validate solutions in case studies 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 32
33.
Reliably Secure Web
Services for Devices Stefan Pfeiffer Andreas Lehmann DPWS Methods and Security sec Formal Verification Framework for Services http://ws4dsec.org 2/21/11 © 2011 UNIVERSITÄT ROSTOCK | FAKULTÄT FÜR INFORMATIK UND ELEKTROTECHNIK 33
Descargar ahora