/Attack-Tree-Petri-Nets

A New Model of Attack Trees in Petri Nets by Categorical Means

Primary LanguageTeX

Attack-Tree-Petri-Nets

A New Model of Attack Trees in Petri Nets by Categorical Means