@InProceedings{Cervesato02isssa,
  title        = "{Data Access Specification and the Most Powerful Symbolic 
                  Attacker in MSR}",
  author       = "Iliano Cervesato",
  booktitle    = "Software Security - Theories and Systems  --- ISSS 2002",
  pages        = "384--416",
  editor       = "M. Okada and B. Pierce and <A HREF="coauthors.html#AS" 
                  TARGET="main">Andre Scedrov</A> and H. Tokuda and A. 
                  Yonezawa",
  address      = "Tokyo, Japan",
  publisher    = "Springer-Verlag LNCS 2609",
  year         = "2002",
  month        = "8--10 November"
}