@inproceedings{ARSPA:D'Souza/R/Sprick:2005,
  author =	 "Deepak D'Souza and  Raghavendra K R and Barbara Sprick",
  title =	 "An Automata Based Approach for Verifying Information Flow Properties",
  booktitle =	 "Proceedings of the second workshop on Automated Reasoning for Security Protocol Analysis (ARSPA 2005), ENTCS",
  pages =	 "39-58",
  volume =       135,   
  year =	 2005,
}