DMCA

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:30 - 5 self