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 proceedingBook chapterResearchpeer-review


    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 languageEnglish
    Title of host publicationThe Future Internet : Future Internet Assembly 2011: Achievements and Technological Promises
    Publication date2011
    ISBN (Print)978-3-642-20897-3
    Publication statusPublished - 2011
    SeriesLecture Notes in Computer Science


    Dive into the research topics of 'Towards Formal Validation of Trust and Security of the Internet of Services'. Together they form a unique fingerprint.

    Cite this