CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 66
Titolo Data di pubblicazione Autore(i) File
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici 2002 A. TROINA
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security 2003 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
A Probabilistic Formulation of Imperfect Cryptography 2003 A. TROINA; A. ALDINI; R. GORRIERI
Information Flow Analysis for Probabilistic Timed Automata 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
A Probabilistic Calculus for Molecular Systems 2004 R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Verification of Hybrid Automata by Synthesis and Refinement 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA
Automatic Analysis of the NRL Pump 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI
Approximating Imperfect Cryptography in a Formal Model 2004 A. TROINA; A. ALDINI; R. GORRIERI
Automatic Covert Channel Analysis of a Multilevel Secure Component 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 2005 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Automatic Analysis of a Non-Repudiation Protocol 2005 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
Towards a Formal Treatment of Secrecy against Computational Adversaries 2005 A. TROINA; A. ALDINI; R. GORRIERI
Timed Automata with Data Structures for Distributed Systems Design and Analysis 2005 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
A Probabilistic Model for Molecular Systems 2005 R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
A Calculus of Looping Sequences for Modelling Microbiological Systems 2005 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
ProNoBiS - Probability and Nondeterminism, Bisimulations and Security 2006 Angelo Troina; et al.
Probabilistic Timed Automata for Security Analysis and Design 2006 A. TROINA
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata 2006 R. LANOTTE; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Bisimulation Congruences in the Calculus of Looping Sequences 2006 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Mostrati risultati da 1 a 20 di 66
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