Extending Attack-Fault Trees with Runtime Verification

View/Open
Cardoso_etal_EPTCS_Extending_Attack_Fault_VOR.pdf (369.2Kb)
Publication date
27/09/2022
Author
Metadata
Show full item record
Citation
Cardoso , R C , Ferrando , A & Fisher , M 2022 , ' Extending Attack-Fault Trees with Runtime Verification ' , Electronic Proceedings in Theoretical Computer Science, EPTCS , vol. 371 , pp. 193-207 . https://doi.org/10.4204/EPTCS.371.14
URI
https://hdl.handle.net/2164/21384
DOI
https://doi.org/10.4204/EPTCS.371.14
Rights
© R.C. Cardoso, A. Ferrando & M. Fisher This work is licensed under the Creative Commons Attribution License. https://creativecommons.org/licenses/by/4.0/
Collections