Hao Chen, David Wagner. MOPS: an infrastructure for examining security properties of software. In Vijayalakshmi Atluri, editor, Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washingtion, DC, USA, November 18-22, 2002. pages 235-244, ACM, 2002. [doi]
Abstract is missing.