Detecting Information Disclosure Vulnerability in Software Architectures Using Alloy.

Quentin Rouland, Kamel Adi, Omer Nguena Timo, Luigi Logrippo

Browse the full CRiSIS paper archive.