Pubblicazioni

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

Autori:
Carbone Roberto; Minea Marius; Moedersheim Sebastian Alexander; Ponta Serena Elisa; Turuani Mathieu; Vigano' Luca
Titolo:
Towards Formal Validation of Trust and Security in the Internet of Services
Anno:
2011
Tipologia prodotto:
Contributo in volume (Capitolo o Saggio)
Tipologia ANVUR:
Contributo in volume (Capitolo o Saggio)
Nazioni degli autori:
ROMANIA; FRANCIA; GERMANIA; ITALIA
Lingua:
Inglese
Formato:
A Stampa
Titolo libro:
The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises
Casa editrice:
Springer Verlag
ISBN:
9783642208973
Intervallo pagine:
193-207
Parole chiave:
Internet of Services, Formal methods, Computer Security, trust
Breve descrizione dei contenuti:
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.
Id prodotto:
63201
Handle IRIS:
11562/367608
depositato il:
17 novembre 2012
ultima modifica:
2 novembre 2016
Citazione bibliografica:
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

Progetti Collegati
Titolo Dipartimento Responsabili
SPaCIoS: Secure Provision and Consumption in the Internet of Services Dipartimento Informatica Luca Vigano'
<<indietro

Attività

Strutture