@InCollection{ABVSEMAS02,
  author =	 {Rafael Accorsi and David Basin and Luca Vigan\`o},
  title =	 {Modal Specifications of Trace-Based Security
                  Properties},
  booktitle =	 {Proceedings of the Second International Workshop on
                  Security of Mobile Multiagent Systems},
  pages =	 {1--11},
  publisher =	 {DFKI},
  year =	 2002,
  editor =	 {Klaus Fischer and Dieter Hutter},
  volume =	 {RR-02-03},
  type =	 {Research Report},
  address =	 {Saarbr\"ucken},
  month =	 {July}
}