@inproceedings{Biel-Mass-Siah-08-FCS-ARSPA-WITS,
  author    = {N. Bielova and F. Massacci and I. Siahaan},
  title     = {Testing Decision Procedures for Security-by-Contract},
  booktitle = {Joint Workshop on Foundations of Computer Security, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS-ARSPA-WITS'08)},
  year      = {2008},
}