@TechReport{garg08:securesys,
  author =   {Deepak Garg and Jason Franklin and Dilsun Kaynar and Anupam Datta},
  title =    {Towards a Theory of Secure Systems},
  institution =  {CyLab, Carnegie Mellon University},
  year =     2008,
  number =   {CMU-Cylab-08-003},
  month =    {February}
}