Verification of S&D Solutions for Network Communications and Devices

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

doi:10.1007/978-0-387-88775-3_9

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 proceeding › Chapter (Book) › Research › peer-review

1 Citation (Scopus)

Abstract

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 language	English
Title of host publication	Security and Dependability for Ambient Intelligence
Pages	143-163
Number of pages	21
Volume	45
DOIs	https://doi.org/10.1007/978-0-387-88775-3_9
Publication status	Published - 2009
Externally published	Yes

Publication series

Name	Advances in Information Security
Volume	45
ISSN (Print)	15682633

Access to Document

10.1007/978-0-387-88775-3_9

Cite this

@inbook{23649d877dda4dfab05a33784476e0eb,

title = "Verification of S&D Solutions for Network Communications and Devices",

abstract = "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.",

author = "Carsten Rudolph and Luca Compagna and Roberto Carbone and Antonio Mu{\~n}oz and J{\"u}rgen Repp",

year = "2009",

doi = "10.1007/978-0-387-88775-3_9",

language = "English",

isbn = "9780387887746",

volume = "45",

series = "Advances in Information Security",

pages = "143--163",

booktitle = "Security and Dependability for Ambient Intelligence",

}

TY - CHAP

T1 - Verification of S&D Solutions for Network Communications and Devices

AU - Rudolph, Carsten

AU - Compagna, Luca

AU - Carbone, Roberto

AU - Muñoz, Antonio

AU - Repp, Jürgen

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84882791806&partnerID=8YFLogxK

U2 - 10.1007/978-0-387-88775-3_9

DO - 10.1007/978-0-387-88775-3_9

M3 - Chapter (Book)

AN - SCOPUS:84882791806

SN - 9780387887746

VL - 45

T3 - Advances in Information Security

SP - 143

EP - 163

BT - Security and Dependability for Ambient Intelligence

ER -

Verification of S&D Solutions for Network Communications and Devices

Abstract

Publication series

Access to Document

Other files and links

Cite this