Hierarchical Colored Petri Nets for Vulnerability Detection in Software Architectures.

Maya Benabdelhafid, Kamel Adi, Omer Landry Nguena-Timo, Luigi Logrippo

Browse the full SECRYPT paper archive.