Book chapter
Towards Formal Validation of Trust and Security of the Internet of Services
University of Genoa1
Institute e-Austria Timisoara2
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
Department of Informatics and Mathematical Modeling, Technical University of Denmark4
SAP Research5
LORIA & INRIA Nancy Grand Est6
University of Verona7
Service designers and developers, while striving to meet the requirements posed by application scenarios, have a hard time to assess the trust and security impact of an option, a minor change, a combination of functionalities, etc., due to the subtle and unforeseeable situations and behaviors that can arise from this panoply of choices.
This often results in the release of flawed products to end-users. This issue can be significantly mitigated by empowering designers and developers with tools that offer easy to use graphical interfaces and notations, while employing established verification techniques to efficiently tackle industrial-size problems.
The formal verification of trust and security of the Internet of Services will significantly boost its development and public acceptance.
| Language: | English |
|---|---|
| Publisher: | Springer |
| Year: | 2011 |
| Pages: | 193-207 |
| Series: | Lecture Notes in Computer Science |
| Journal subtitle: | Future Internet Assembly 2011: Achievements and Technological Promises |
| ISBN: | 3642208975 , 3642208983 , 9783642208973 and 9783642208980 |
| ISSN: | 16113349 and 03029743 |
| Types: | Book chapter |
| DOI: | 10.1007/978-3-642-20898-0_14 |
| ORCIDs: | Mödersheim, Sebastian Alexander |
