Bossi, Annalisa; Piazza, Carla; Rossi, Sabina Action refinement in process algebra and security issues. (English) Zbl 1179.68100 King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 201-217 (2008). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Bossi} et al., Lect. Notes Comput. Sci. 4915, 201--217 (2008; Zbl 1179.68100) Full Text: DOI
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina Verifying persistent security properties. (English) Zbl 1072.68065 Comput. Lang. Syst. Struct. 30, No. 3-4, 231-258 (2004). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Bossi} et al., Comput. Lang. Syst. Struct. 30, No. 3--4, 231--258 (2004; Zbl 1072.68065) Full Text: DOI