CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 72
Titolo Autore(i) Anno Periodico Editore Tipo File
Performance preorder: Ordering processes with respect to speed Corradini F.; Gorrieri R.; Roccetti M. 1995-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
A theory of processes with durational actions Gorrieri R.; Roccetti M.; Stancampiano E. 1995-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
Performance preorder and competitive equivalence Corradini F.; Gorrieri R.; Roccetti M. 1997-01-01 ACTA INFORMATICA - 1.01 Articolo in rivista -
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet Bernardo M.; Gorrieri R.; Roccetti M. 1998-01-01 FORMAL ASPECTS OF COMPUTING - 1.01 Articolo in rivista -
Comparing the QoS of Internet Audio Mechanisms via Formal Methods Aldini A.; Gorrieri R.; Roccetti M.; Bernardo M. 2001-01-01 ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION - 1.01 Articolo in rivista -
QoS evaluation of IP telephony services: A specification language based simulation software tool Roccetti M.; Aldini A.; Bernardo M.; Gorrieri R. 2003-01-01 SYSTEMS ANALYSIS, MODELLING, SIMULATION - 1.01 Articolo in rivista -
On Securing Real-Time Speech Transmission Over the Internet: An Experimental Study Aldini A.; Roccetti M.; Gorrieri R. 2003-01-01 EURASIP JOURNAL ON APPLIED SIGNAL PROCESSING - 1.01 Articolo in rivista -
Web Services for E-commerce: guaranteeing security access and quality of service M. Bravetti; R. Lucchi; G. Zavattaro; R. Gorrieri 2004-01-01 - ACM Press 4.01 Contributo in Atti di convegno -
Contrasting Malicious Applets by Modifying the Java Virtual Machine V.Ciaschini; R.Gorrieri 2004-01-01 - Kluwer 4.01 Contributo in Atti di convegno -
Two Formal Approaches for Approximating Noninterference Properties A.Aldini; M.Bravetti; A.Di Pierro; R.Gorrieri; C.Hankin; H.Wiklicky 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
Classification of Security Properties. Part II: Network Security R.Focardi; R.Gorrieri; F.Martinelli 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
Positive Non–Interference in Elementary and Trace Nets BUSI N.; R. GORRIERI 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
Foundations of Security Analysis and design II R. Focardi; R. Gorrieri 2004-01-01 - Springer 3.02 Curatela -
Automated Analysis of Timed Security: A Case Study on Web Privacy R.Gorrieri; R.Lanotte; A.Maggiolo-Schettini; F.Martinelli; S.Tini; E.Tronci 2004-01-01 INTERNATIONAL JOURNAL OF INFORMATION SECURITY - 1.01 Articolo in rivista -
Combining Partitions in SecSpaces M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
A Process Algebraic Approach for the Analysis of Probabilistic Non-Interference A.Aldini; M.Bravetti; R.Gorrieri 2004-01-01 JOURNAL OF COMPUTER SECURITY - 1.01 Articolo in rivista -
Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time M. Bravetti; R. Gorrieri 2004-01-01 - Elsevier 3.02 Curatela -
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model M. Bravetti; R. Gorrieri; R. Lucchi; G. Zavattaro 2004-01-01 - Springer 4.01 Contributo in Atti di convegno -
Approximating Imperfect Cryptography in a Formal Model Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto 2004-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista -
A Survey on Non-Interference with Petri Nets BUSI N.; R. GORRIERI 2004-01-01 - Springer 2.01 Capitolo / saggio in libro -
Mostrati risultati da 1 a 20 di 72
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile