Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets.

Shabnam Pasandideh Pedro Pereira Luís Gomes

Published in: IECON (2022)

Keyphrases

statistical analysis
knowledge base
data structure
relational databases
query processing
model checking
hierarchical structure
tree structures