A formal methodology for detection of vulnerabilities in an enterprise information system.

Anirban Sengupta, Chandan Mazumdar, Aditya Bagchi

Browse the full CRiSIS paper archive.