CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 118
Titolo Data di pubblicazione Autore(i) File
Automated Security Protocol Analysis With the AVISPA Tool 1-gen-2006 Vigano', Luca
Preface of the Special Issue of Theoretical Computer Science on "Automated Reasoning for Security Protocol Analysis" 1-gen-2006 Degano, Pierpaolo; Vigano', Luca
On the semantics of Alice&Bob specifications of security protocols 1-gen-2006 Caleiro, C.; Vigano', Luca; Basin, D.
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 1-gen-2006 Backes, M.; Moedersheim, S.; Pfitzmann, B.; Vigano', Luca
Towards a Quantitative Analysis of Security Protocols 1-gen-2006 Adao, P.; Mateus, P.; Reis, T.; Vigano', Luca
Formalizing and Analyzing Sender Invariance 1-gen-2007 HANKES DRIELSMA, P.; Moedersheim, S.; Vigano', Luca; Basin, D.
My Galois 1-gen-2007 Vigano', Luca
A labeled tableaux system for the Distributed Temporal Logic DTL 1-gen-2008 Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca
Labeled natural deduction systems for a family of tense logics 1-gen-2008 Vigano', Luca; Volpe, Marco
Preface of the Special Issue of International Journal of Information Security on "Automated Reasoning for Security Protocol Analysis" 1-gen-2008 Degano, Pierpaolo; Vigano', Luca
Preface of the Special Issue on "Joint workshop on foundations of computer security and automated reasoning for security protocol analysis (FCS-ARSPA '06)" 1-gen-2008 Degano, Pierpaolo; Kuesters, Ralf; Vigano', Luca; Zdancewic, Steve
A Qualitative Modal Representation of Quantum Register Transformations 1-gen-2008 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A Labeled Natural Deduction System for a Fragment of CTL∗ 1-gen-2009 Masini, Andrea; Vigano', Luca; Volpe, Marco
Labelled Tableaux for Distributed Temporal Logic 1-gen-2009 Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 1-gen-2009 Moedersheim, S.; Vigano', Luca
Secure Pseudonymous Channels 1-gen-2009 Moedersheim, S.; Vigano', Luca
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, Revised Selected Papers 1-gen-2009 Degano, Pierpaolo; Vigano', Luca
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures 1-gen-2009 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC 1-gen-2010 Calvi, Alberto; Ranise, Silvio; Vigano', Luca
WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications 1-gen-2010 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
Mostrati risultati da 41 a 60 di 118
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