A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes.

Simone Marchesini, Luca Vigan

Browse the full CRiSIS paper archive.