Suppo ing Ma e ials :
The suppo ing ma e ials include he ollowing olde s:
Da ase s: a olde con aining inpu iles s o ing secu i y indings o da ase s I-IV. The indings a e
encoded as inpu .P iles, and hold p edica e assignmen s. The analy ic a ack g aphs desc ibed in he
pape a e gene a ed by unning a ack g aph simula o ool. The ool ake inpu .P ile and a ile
con aining secu i y ules encoded in da alog, and ou pu s and a ack g aphs.
- SET I: inpu iles o secu i y indings o wo la ge manu ac u ing acili ies in he au omo i e and
e ail indus y.
- SET II: inpu iles o secu i y indings o h ee o he IT a ack g aphs
- SET III: inpu iles o secu i y indings o he RE20 da ase s
- SET IV: inpu iles o secu i y indings o simula ed a ack g aphs (small, medium, la ge, xl)
Resul s: Resul s.cs : aw esul s o expe imen s p esen ed in he e alua ion sec ion.
Figu es: igu es ha appea in he pape .
Sc ip s (Folde ):
• Readme.md: ins uc ions on how o un he Analysis.py
• Analysis.py: sc ip used o c ea e he ables and igu e in he e alua ion sec ion om Resul s.cs
• Readme.md: ins uc ions on how o un he Analysis.py
• equi emen s. x : lis o packages equi ed o un Analysis.py
To ec ea e he pape ables and igu es, please ollow he ins uc ions in he eadme. x
Impo an no es, due o IP es ic ions we a e unable o sha e he ollowing a i ac s:
• Secu i y ules ile con aining secu i y ules in Da alog, which we e used o cons uc ha a ack
g aphs.
• Algo i hm o cons uc ing and olding he AAGs.
• Analy ic A ack g aphs (AAG) (as hese e eal he secu i y ules)
