@inproceedings{drape07specifying,
  title = "Specifying Imperative Data Obfuscations",
  author = "Stephen Drape and Clark Thomborson and Anirban Majumdar",
  year = "2007",
  booktitle = "Proceeding of the 10th Information Security Conference (ISC 07)",
  issn = "0302-9743",
  pages = "299--314",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4779",
  doi = "10.1007/978-3-540-75496-1_20",
}