IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 81 a 100 di 115
Titolo Data di pubblicazione Autore(i) File
Noninterference and the Most Powerful Probabilistic Adversary 1-gen-2006 Aldini, Alessandro; DI PIERRO, A.
Component-Oriented Specification of Performance Measures 1-gen-2006 Aldini, Alessandro; Bernardo, Marco
Classification of Security Properties in a Linda-like Process Algebra 1-gen-2006 Aldini, Alessandro
Foundations of Security Analysis and Design III 1-gen-2005 Aldini, Alessandro; Gorrieri, R; Martinelli, F.
Predicting the Functional/Performance Impact of Dynamic Power Management 1-gen-2005 Bernardo, Marco; Bogliolo, Alessandro; Acquaviva, Andrea; Aldini, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
On the Usability of Process Algebra: An Architectural View 1-gen-2005 Aldini, Alessandro; Bernardo, Marco
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management 1-gen-2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
Towards a Formal Treatment of Secrecy against Computational Adversaries 1-gen-2005 Troina, A; Aldini, Alessandro; Gorrieri, R.
Approximating Imperfect Cryptography in a Formal Model 1-gen-2004 Troina, A; Aldini, Alessandro; Gorrieri, R.
On Quantitative Analysis of Probabilistic Protocols 1-gen-2004 Aldini, Alessandro; DI PIERRO, A.
Two Formal Approaches for Approximating Noninterference Properties 1-gen-2004 Aldini, Alessandro; Bravetti, M; DI PIERRO, A; Gorrieri, R; Hankin, C; Wiklicky, H.
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference 1-gen-2004 Aldini, Alessandro; Bravetti, M; Gorrieri, R.
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation 1-gen-2004 Aldini, Alessandro; Bernardo, Marco
A Quantitative Approach to Noninterference for Probabilistic Systems 1-gen-2004 Aldini, Alessandro; DI PIERRO, A.
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth 1-gen-2004 Aldini, Alessandro; Bernardo, Marco
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances 1-gen-2004 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks 1-gen-2003 Aldini, Alessandro; Amoroso, A; Roccetti, M.
A Probabilistic Formulation of Imperfect Cryptography 1-gen-2003 Troina, A; Aldini, Alessandro; Gorrieri, R.
QoS Evaluation of IP Telephony Services: A Specification Language Based Simulation Software Tool 1-gen-2003 Roccetti, Marco; Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto
A General Approach to Deadlock Freedom Verification for Software Architectures 1-gen-2003 Aldini, Alessandro; Bernardo, Marco
Mostrati risultati da 81 a 100 di 115
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