Extending LSCs for Behavioral Signature Modeling - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2011

Extending LSCs for Behavioral Signature Modeling

Résumé

Driven by technical innovation, embedded systems are becoming increasingly interconnected and have to be secured against failures and threats from the outside world. For this purpose, we have defined an integrated model-based development process for security monitors which requires an expressive, formally well-defined, and easy to learn behavioral signature language. In this paper, we demonstrate that Live Sequence Charts (LSCs) are adequate for the specification of behavioral signatures. To satisfy all requirements and enable compact modeling, we extend LSCs by concepts that fit well to the spirit of LSCs.
Fichier principal
Vignette du fichier
978-3-642-21424-0_24_Chapter.pdf (333.2 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01567608 , version 1 (24-07-2017)

Licence

Identifiants

Citer

Sven Patzina, Lars Patzina, Andy Schürr. Extending LSCs for Behavioral Signature Modeling. 26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.293-304, ⟨10.1007/978-3-642-21424-0_24⟩. ⟨hal-01567608⟩
73 Consultations
67 Téléchargements

Altmetric

Partager

More