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

by H Chen, D Wagner
Venue:In Proceedings of the 9th ACM Conference on Computer and Communications Security,