@INCOLLECTION{AmatoCGSS05-entcs,
  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},  
  booktitle = {Proceedings of the International Workshop on Automated Specification and Verification of Web Sites (WWV 2005)},
  editor = {Maria Alpuente and Santiago Escobar and Moreno Falaschi},
  may = "22~" # may,
  year = 2006,
  volume = 157,
  number = 2,
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  pages = {167--185},
  doi = {10.1016/j.entcs.2005.12.053},
}