Formal procedural security modeling and analysis.

Komminist Weldemariam, Adolfo Villafiorita

Browse the full CRiSIS paper archive.