Sfoglia per Autore  

opzioni
Mostrati risultati da 41 a 60 di 118
Titolo Data di pubblicazione Autore(i) File
Automated reasoning for security protocol analysis (Preface of the Special Issue of the Journal of Automated Reasoning on Computer Security: Foundations and Automated Reasoning) 1-gen-2006 Armando, Alessandro; Basin, David; Cuellar, Jorge; Rusinowitch, Michael; Vigano', Luca
Towards a Quantitative Analysis of Security Protocols 1-gen-2006 Adao, P.; Mateus, P.; Reis, T.; Vigano', Luca
Symbolic and Cryptographic Analysis of the Secure WS-Reliable Messaging Scenario 1-gen-2006 Backes, M.; Moedersheim, S.; Pfitzmann, B.; 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
Automated Security Protocol Analysis With the AVISPA Tool 1-gen-2006 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
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols 1-gen-2009 Moedersheim, S.; Vigano', Luca
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
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
Back from the future 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
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