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
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;
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
DOI :
10.1109/SECURWARE.2008.56
