@TECHREPORT{AmatoCGSS05-tr,
  author = {Gianluca Amato and Massimo Coppola and Stefania Gnesi and Francesca Scozzari and Laura Semini},
  title = {Modeling Web Applications by the Multiple Levels of Integrity Policy},
  institution = {Dipartimento di Informatica, Universit{\`a} di Pisa},
  year = {2005},
  number = {TR-05-04},
  note = {Accepted for publication in the proceedings of the 1st Int'l Workshop
        on Automated Specification and Verification of Web Sites},
  url = {http://compass2.di.unipi.it/TR/Files/TR-05-04.pdf.gz}
}