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

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 languageEnglish
Title of host publicationSecurity and Dependability for Ambient Intelligence
Pages143-163
Number of pages21
Volume45
DOIs
Publication statusPublished - 2009
Externally publishedYes

Publication series

NameAdvances in Information Security
Volume45
ISSN (Print)15682633

Cite this

Rudolph, C., Compagna, L., Carbone, R., Muñoz, A., & Repp, J. (2009). Verification of S&D Solutions for Network Communications and Devices. In Security and Dependability for Ambient Intelligence (Vol. 45, pp. 143-163). (Advances in Information Security; Vol. 45). https://doi.org/10.1007/978-0-387-88775-3_9
Rudolph, Carsten ; Compagna, Luca ; Carbone, Roberto ; Muñoz, Antonio ; Repp, Jürgen. / Verification of S&D Solutions for Network Communications and Devices. Security and Dependability for Ambient Intelligence. Vol. 45 2009. pp. 143-163 (Advances in Information Security).
@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",

}

Rudolph, C, Compagna, L, Carbone, R, Muñoz, A & Repp, J 2009, Verification of S&D Solutions for Network Communications and Devices. in Security and Dependability for Ambient Intelligence. vol. 45, Advances in Information Security, vol. 45, pp. 143-163. https://doi.org/10.1007/978-0-387-88775-3_9

Verification of S&D Solutions for Network Communications and Devices. / Rudolph, Carsten; Compagna, Luca; Carbone, Roberto; Muñoz, Antonio; Repp, Jürgen.

Security and Dependability for Ambient Intelligence. Vol. 45 2009. p. 143-163 (Advances in Information Security; Vol. 45).

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

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)

SN - 9780387887746

VL - 45

T3 - Advances in Information Security

SP - 143

EP - 163

BT - Security and Dependability for Ambient Intelligence

ER -

Rudolph C, Compagna L, Carbone R, Muñoz A, Repp J. Verification of S&D Solutions for Network Communications and Devices. In Security and Dependability for Ambient Intelligence. Vol. 45. 2009. p. 143-163. (Advances in Information Security). https://doi.org/10.1007/978-0-387-88775-3_9