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

Autor:	Serena Elisa Ponta, Mathieu Turuani, Sebastian Mödersheim, Roberto Carbone, Marius Minea, Luca Viganò
Rok vydání:	2011
Předmět:	Internet of Services Formal methods Computer Security trust Service (systems architecture) Horn clause business.industry Computer science Cryptographic protocol Notation Computer security computer.software_genre Abstract interpretation The Internet business Formal verification computer
Zdroj:	The Future Internet ISBN: 9783642208973 Future Internet Assembly
DOI:	10.1007/978-3-642-20898-0_14
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ccb66d7e314ec51dacd92c8c63ff2b7 https://doi.org/10.1007/978-3-642-20898-0_14 Zobrazit plný text záznamu