MOPS: an infrastructure for examining security properties of software (2002)

by H Chen, D Wagner
Venue:In 9th ACM Conference on Computer and Communications Security (CCS