Skip to content

Host-Centric Model Checking for Network Vulnerability Analysis.

Rattikorn Hewett, Phongphun Kijsanayothin

VenueAACSAC
Year2008
ProceedingsACSAC

Browse the full ACSAC paper archive.