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

Shabnam Pasandideh, Pedro Pereira, Lus Gomes

Browse the full IECON paper archive.