Towards Formal Validation of Trust and Security of the Internet of Services

Roberto Carbone; Marius Minea; Sebastian Alexander Mödersheim; Serena Elisa Ponta; Mathieu Turuani; Luca Viganò

Towards Formal Validation of Trust and Security of the Internet of Services

Roberto Carbone, Marius Minea, Sebastian Alexander Mödersheim, Serena Elisa Ponta, Mathieu Turuani, Luca Viganò

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

Abstract

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.

Original language	English
Title of host publication	The Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises
Publisher	Springer
Publication date	2011
Pages	193-207
ISBN (Print)	978-3-642-20897-3
Publication status	Published - 2011

Series	Lecture Notes in Computer Science
Number	6656
ISSN	0302-9743

Access to Document

http://www.springerlink.com/content/978-3-642-20897-3

OpenUrl availability

Full text

Cite this

@inbook{b390747d59984cee8baec46dc81ad0b4,

title = "Towards Formal Validation of Trust and Security of the Internet of Services",

abstract = "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.",

author = "Roberto Carbone and Marius Minea and M{\"o}dersheim, {Sebastian Alexander} and Ponta, {Serena Elisa} and Mathieu Turuani and Luca Vigan{\`o}",

year = "2011",

language = "English",

isbn = "978-3-642-20897-3",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "6656",

pages = "193--207",

booktitle = "The Future Internet",

}

Carbone, R, Minea, M, Mödersheim, SA, Ponta, SE, Turuani, M & Viganò, L 2011, Towards Formal Validation of Trust and Security of the Internet of Services. in The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, Lecture Notes in Computer Science, no. 6656, pp. 193-207. <http://www.springerlink.com/content/978-3-642-20897-3>

Towards Formal Validation of Trust and Security of the Internet of Services. / Carbone, Roberto; Minea, Marius; Mödersheim, Sebastian Alexander et al.
The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, 2011. p. 193-207 (Lecture Notes in Computer Science; No. 6656).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

TY - CHAP

T1 - Towards Formal Validation of Trust and Security of the Internet of Services

AU - Carbone, Roberto

AU - Minea, Marius

AU - Mödersheim, Sebastian Alexander

AU - Ponta, Serena Elisa

AU - Turuani, Mathieu

AU - Viganò, Luca

PY - 2011

Y1 - 2011

N2 - 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.

AB - 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.

M3 - Book chapter

SN - 978-3-642-20897-3

T3 - Lecture Notes in Computer Science

SP - 193

EP - 207

BT - The Future Internet

PB - Springer

ER -

Towards Formal Validation of Trust and Security of the Internet of Services

Abstract

Access to Document

OpenUrl availability

Fingerprint

Cite this