Junfeng Yang, Ted Kremenek, Yichen Xie, Dawson R. Engler. MECA: an extensible, expressive system and language for statically checking security properties. In Sushil Jajodia, Vijayalakshmi Atluri, Trent Jaeger, editors, Proceedings of the 10th ACM Conference on Computer and Communications Security, CCS 2003, Washingtion, DC, USA, October 27-30, 2003. pages 321-334, ACM, 2003. [doi]
Abstract is missing.