Quantitative Attack Tree Analysis via Priced Timed Automata

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-319-22975-1_11 ◽

2015 ◽

pp. 156-171 ◽

Cited By ~ 26

Author(s):

Rajesh Kumar ◽

Enno Ruijters ◽

Mariëlle Stoelinga

Keyword(s):

Timed Automata ◽

Attack Tree ◽

Tree Analysis

Download Full-text

Attack tree analysis

Risk, Reliability and Safety: Innovating Theory and Practice ◽

10.1201/9781315374987-154 ◽

2016 ◽

pp. 1023-1027 ◽

Cited By ~ 1

Author(s):

D Wiseman

Keyword(s):

Attack Tree ◽

Tree Analysis

Download Full-text

Availability and Security Assessment of Smart Building Automation Systems: Combining of Attack Tree Analysis and Markov Models

2016 Third International Conference on Mathematics and Computers in Sciences and in Industry (MCSI) ◽

10.1109/mcsi.2016.062 ◽

2016 ◽

Cited By ~ 1

Author(s):

Al-Sudani Mustafa Qahtan Abdulmunem ◽

Vyacheslav S. Kharchenko

Keyword(s):

Markov Models ◽

Security Assessment ◽

Building Automation ◽

Attack Tree ◽

Tree Analysis ◽

Smart Building ◽

Automation Systems

Download Full-text

Efficient Algorithms for Quantitative Attack Tree Analysis

2021 IEEE 34th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf51468.2021.00041 ◽

2021 ◽

Author(s):

Carlos E. Budde ◽

Marielle Stoelinga

Keyword(s):

Efficient Algorithms ◽

Attack Tree ◽

Tree Analysis

Download Full-text

Attack tree analysis of Man in the Cloud attacks on client device synchronization in cloud computing

2016 2nd IEEE International Conference on Computer and Communications (ICCC) ◽

10.1109/compcomm.2016.7925189 ◽

2016 ◽

Cited By ~ 1

Author(s):

Aaron Zimba ◽

Chen Hongsong ◽

Wang Zhaoshun

Keyword(s):

Cloud Computing ◽

Attack Tree ◽

Tree Analysis ◽

Client Device

Download Full-text

Towards Privacy Taxonomy-Based Attack Tree Analysis for the Protection of Consumer Information Privacy

2008 Sixth Annual Conference on Privacy, Security and Trust ◽

10.1109/pst.2008.18 ◽

2008 ◽

Cited By ~ 2

Author(s):

Kamil Reddy ◽

H.S. Venter ◽

Martin Olivier ◽

Iain Currie

Keyword(s):

Information Privacy ◽

Consumer Information ◽

Attack Tree ◽

Tree Analysis

Download Full-text

Attack-Tree Series: A Case for Dynamic Attack Tree Analysis

Graphical Models for Security - Lecture Notes in Computer Science ◽

10.1007/978-3-030-36537-0_2 ◽

2019 ◽

pp. 7-19

Author(s):

Olga Gadyatskaya ◽

Sjouke Mauw

Keyword(s):

Attack Tree ◽

Tree Analysis ◽

Tree Series

Download Full-text

Security risk assessment framework for smart car using the attack tree analysis

Journal of Ambient Intelligence and Humanized Computing ◽

10.1007/s12652-016-0442-8 ◽

2017 ◽

Vol 9 (3) ◽

pp. 531-551 ◽

Cited By ~ 21

Author(s):

Hee-Kyung Kong ◽

Myoung Ki Hong ◽

Tae-Sung Kim

Keyword(s):

Risk Assessment ◽

Assessment Framework ◽

Security Risk ◽

Attack Tree ◽

Tree Analysis ◽

Security Risk Assessment

Download Full-text

Quantitative Attack Tree Analysis: Stochastic Bounds and Numerical Analysis

Graphical Models for Security - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46263-9_8 ◽

2016 ◽

pp. 119-133

Author(s):

Nihal Pekergin ◽

Sovanna Tan ◽

Jean-Michel Fourneau

Keyword(s):

Numerical Analysis ◽

Attack Tree ◽

Tree Analysis

Download Full-text

Attack Tree Analysis for Insider Threats on the IoT Using Isabelle

Lecture Notes in Computer Science - Human Aspects of Information Security, Privacy, and Trust ◽

10.1007/978-3-319-39381-0_21 ◽

2016 ◽

pp. 234-246 ◽

Cited By ~ 13

Author(s):

Florian Kammüller ◽

Jason R. C. Nurse ◽

Christian W. Probst

Keyword(s):

Insider Threats ◽

Attack Tree ◽

Tree Analysis

Download Full-text

Automated Model-Based Attack Tree Analysis Using HiP-HOPS

Model-Based Safety and Assessment - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32872-6_17 ◽

2019 ◽

pp. 255-269

Author(s):

Declan Whiting ◽

Ioannis Sorokos ◽

Yiannis Papadopoulos ◽

Gilbert Regan ◽

Eoin O’Carroll

Keyword(s):

Attack Tree ◽

Tree Analysis ◽

Model Based

Download Full-text