MECA: an Extensible, Expressive System and Language for Statically Checking Security Properties (2003)

by Junfeng Yang , Ted Kremenek , Yichen Xie , Dawson Engler
Venue:IN PROCEEDINGS OF THE 10TH ACM CONFERENCE ON COMPUTER AND COMMUNICATION SECURITY
Citations:27 - 5 self