Search results for "MEFISTO"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link
1	Mario Bravetti, Roberto Gorrieri (eds.)	Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003	MEFISTO	2004	DBLP BibTeX RDF
1	Carlo Blundo, Stelvio Cimato, Roberto De Prisco, Anna Lisa Ferrara	Modeling A Certified Email Protocol using I/O Automata.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Radu Mardare, Corrado Priami	A Logical Approach to Security in the Context of Ambient Calculus.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Angelo Troina, Alessandro Aldini, Roberto Gorrieri	Approximating Imperfect Cryptography in a Formal Model.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Annalisa Bossi, Riccardo Focardi, Damiano Macedonio, Carla Piazza, Sabina Rossi	Unwinding in Information Flow Security.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro	Combining Partitions in SecSpaces.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci	Automatic Analysis of the NRL Pump.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza	Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Mario Bravetti, Roberto Gorrieri	Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Massimo Bartoletti, Pierpaolo Degano, Gian-Luigi Ferrari 0002	Program Transformations under Dynamic Security Policies.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Salvatore La Torre, Aniello Murano, Mimmo Parente	Model-checking the Secure Release of a Time-locked Secret over a Network.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Matteo Maffei	The rho-spi Calculus at Work: Authentication Case Studies.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli	Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Chiara Braghin, Carla Piazza	Checking Integrity via CoPS and Banana: the E-Commerce Case Study .	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Roberto Zunino	Control Flow Analysis for the Applied Pi-calculus.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Margherita Napoli, Mimmo Parente, Adriano Peron	Specification and Verification of Protocols With Time Constraints.	MEFISTO	2003	DBLP DOI BibTeX RDF
1	Alessandro Aldini, Alessandra Di Pierro	A Quantitative Approach to Noninterference for Probabilistic Systems.	MEFISTO	2003	DBLP DOI BibTeX RDF

Publications at "MEFISTO"( http://dblp.L3S.de/Venues/MEFISTO )