@inproceedings {yang:meca:ccs,
        author = {Junfeng Yang and Ted Kremenek and Yichen Xie and Dawson Engler},
        title = {{MECA}: an Extensible, Expressive System and Language for Statically Checking Security Properties},
        year = {2003},
        month = {October},
        booktitle = {Proceedings of the 10th ACM conference on Computer and communications security (CCS '03)},
        pages  = {321--334},
}