Publications

Towards Formal Validation of Trust and Security in the Internet of Services  (2011)

Authors:
Carbone Roberto; Minea Marius; Moedersheim Sebastian Alexander; Ponta Serena Elisa; Turuani Mathieu; Vigano' Luca
Title:
Towards Formal Validation of Trust and Security in the Internet of Services
Year:
2011
Type of item:
Contributo in volume (Capitolo o Saggio)
Tipologia ANVUR:
Contributo in volume (Capitolo o Saggio)
Nations of authors:
ROMANIA; FRANCIA; GERMANIA; ITALIA
Language:
Inglese
Format:
A Stampa
Book Title:
The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises
Publisher:
Springer Verlag
ISBN:
9783642208973
Page numbers:
193-207
Keyword:
Internet of Services, Formal methods, Computer Security, trust
Short description of contents:
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.
Product ID:
63201
Handle IRIS:
11562/367608
Deposited On:
November 17, 2012
Last Modified:
November 2, 2016
Bibliographic citation:
Carbone Roberto; Minea Marius; Moedersheim Sebastian Alexander; Ponta Serena Elisa; Turuani Mathieu; Vigano' Luca, Towards Formal Validation of Trust and Security in the Internet of Services The Future Internet - Future Internet Assembly 2011: Achievements and Technological PromisesDomingue J.; Galis A.; Gavras A.; Zahariadis T.; Lambert D.; Cleary F.; Daras P.; Krco S.; Müller H.; Li M.-S.; Schaffers H.; Lotz V.; Alvarez F.; Stiller B.; Karnouskos S.; Avessta S.; Nilsson MSpringer Verlag2011pp. 193-207

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo IRIS

Related projects
Title Department Managers
SPaCIoS: Secure Provision and Consumption in the Internet of Services Department Informatica Luca Vigano'
<<back

Activities

Research facilities