Verification of S&D Solutions for Network Communications and Devices

Carsten Rudolph, Luca Compagna, Roberto Carbone, Antonio Muñoz, Jürgen Repp

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review


This chapter describes the tool-supported verification of S&D Solutions on the level of network communications and devices. First, the general goals and challenges of verification in the context of AmI systems are highlighted and the role of verification and validation within the SERENITY processes is explained.Then, SERENITY extensions to the SH VErification tool are explained using small examples. Finally, the applicability of existing verification tools is discussed in the context of the AVISPA toolset. The two different tools show that for the security analysis of network and devices S&D Patterns relevant complementary approachesexist and can be used.

Original languageEnglish
Title of host publicationSecurity and Dependability for Ambient Intelligence
Number of pages21
Publication statusPublished - 2009
Externally publishedYes

Publication series

NameAdvances in Information Security
ISSN (Print)15682633

Cite this