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

    Fingerprint

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

    Computer Science