Gianluca Amato, Massimo Coppola, Stefania Gnesi, Francesca Scozzari, Laura Semini. Modeling Web Applications by the Multiple Levels of Integrity Policy. In MarĂa Alpuente, Santiago Escobar, Moreno Falaschi, editors, First International Workshop on Automated Specification and Verification of Web Sites (WWV 2005), March 14-15, 2005 Valencia, Spain. Volume DSIC-II/03/05 of pages 161-175, Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, 2005.
Abstract is missing.