DocumentCode
2809780
Title
Generation of Diagnostic Plans for Large ICT Systems
Author
Aime, Marco D. ; Atzeni, Andrea
Author_Institution
Dip. di Autom. e Inf, Politec. di Torino, Torino
fYear
2008
fDate
25-31 Aug. 2008
Firstpage
344
Lastpage
349
Abstract
This paper proposes a framework for automatic generation of rules to diagnose dependability problems. The generation process starts from formal models of the target system and its configuration, and exploits concepts and techniques from the risk analysis and management field.
Keywords
formal specification; information technology; security of data; ICT system; dependability analysis; formal model; information security management systems; risk analysis; risk management; Failure analysis; Fault trees; Information security; Intelligent sensors; Intrusion detection; Risk analysis; Risk management; Runtime; Terminology; US Department of Transportation; dependability; risk management; security;
fLanguage
English
Publisher
ieee
Conference_Titel
Emerging Security Information, Systems and Technologies, 2008. SECURWARE '08. Second International Conference on
Conference_Location
Cap Esterel
Print_ISBN
978-0-7695-3329-2
Electronic_ISBN
978-0-7695-3329-2
Type
conf
DOI
10.1109/SECURWARE.2008.56
Filename
4622605
Link To Document