EEMCS

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2005) A Formal Security Analysis of an OSA/Parlay Authentication Interface. Technical Report TR-CTIT-05-62, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2005) A Formal Security Analysis of an OSA/Parlay Authentication Interface. In: 7th IFIP WG 6.1 Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Athens, Greece. pp. 131-146. Springer-Verlag. ISBN 3-540-26181-8

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security Analysis of Parlay/OSA Framework. Technical Report TR-CTIT-04-37, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Corin, R.J. and Di Caprio, G. and Etalle, S. and Gnesi, S. and Lenzini, G. and Moiso, C. (2004) Security Analysis of Parlay/OSA Framework. In: 9th Int. Conf. on Intelligence in service delivery Networks ICIN, Bordeaux, France. pp. 54-59. IOS Press.

Gnesi, S. and Lenzini, G. and Martinelli, F. (2004) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Technical Report TR-CTIT-04-36, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Pisa, Italy. pp. 111-126. Electronic Notes in Theoretical Computer Science 99. Elsevier. ISSN 1571-0661

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 57-70. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Lenzini, G. and Gnesi, S. and Latella, D. (2003) Spider: a Security Model Checker. In: 1st Int. Workshop on Formal Aspect of Security and Trust (FAST), Pisa, Italy. pp. 163-180. Istituto di Informatica e Telematica (IIT-CNR).

Gnesi, S. and Latella, D. and Lenzini, G. (2002) Towards Model Checking a Spi-Calculus Dialect. Technical Report 2002-TR-10, Istituto di Scienza e Tecnologia Informatica (ISTI-CNR), Pisa, Italy.

Gnesi, S. and Latella, D. and Lenzini, G. (2000) A BRUTUS Logic for a Spi-Calculus Dialect. Report Type UNSPECIFIED TR-B4-27,

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) An Automatic SPIN Validation of a Safety Critical Railway Control System. In: Int. Conf. on Dependable Systems and Networks (DSN), New York. pp. 119-124. IEEE Computer Society. ISBN 0-7695-0707-7

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Safety Critical Railway Control System. In: Fifth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2000, 3-4 Apr 2000, Berlin, Germany. pp. 305-329. GMD-Report 91. GMD - Forschungszentrum Informationstechnik GmbH. ISSN 1435-2702

Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P. (2000) A Formal Specification and Validation of a Control System in Presence of Byzantine Errors. In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 Mar 2000, Berlin, Germany. pp. 535-549. Lecture Notes in Computer Science 1785. Springer-Verlag. ISBN 3-540-67282-6