Formal methods in security engineering: where we've been, where we are, where we need to go.

John McLean

Browse the full CCS paper archive.