%0 Conference Proceedings
%T Extending LSCs for Behavioral Signature Modeling
%+ Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt)
%+ Center for Advanced Security Research Darmstadt [Darmstadt] (CASED)
%A Patzina, Sven
%A Patzina, Lars
%A Schürr, Andy
%Z Part 9: Intrusion Detection
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 26th International Information Security Conference (SEC)
%C Lucerne, Switzerland
%Y Jan Camenisch
%Y Simone Fischer-Hübner
%Y Yuko Murayama
%Y Armand Portmann
%Y Carlos Rieder
%I Springer
%3 Future Challenges in Security and Privacy for Academia and Industry
%V AICT-354
%P 293-304
%8 2011-06-07
%D 2011
%R 10.1007/978-3-642-21424-0_24
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 11
%2 https://inria.hal.science/hal-01567608/document
%2 https://inria.hal.science/hal-01567608/file/978-3-642-21424-0_24_Chapter.pdf
%L hal-01567608
%U https://inria.hal.science/hal-01567608
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC11
%~ IFIP-SEC
%~ IFIP-AICT-354