Who am I?
I'm Thomas Heyman, researcher at the DistriNet research group of the KU Leuven. All my personal information, including publication info, is currently only kept up to date on my departmental page.
Contact info
You can contact me as follows:
E-mail: (obfuscated)
Tel: +32 16 327953
Fax: +32 16 327996
Address:
Katholieke Universiteit Leuven
Departement Computerwetenschappen
Celestijnenlaan 200 A
B-3001 Heverlee
België
Room: A04.144
Alloy models
You can find more of my work on using the Alloy Analyzer to analyze the security of software architectures here.
Reusable security pattern models
The architectural modelling approach in Alloy has been applied to model a library of reusable security patterns. More info can be found here.
Data sets
The raw data that was used for some of this work, includes a list of security patterns, containing all 218 security patterns that we found and indexed.
The list contains an (alphabetic) listing of all pattern names, together with a bibliography key to the document in which the complete description can be found.