CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 118
Titolo Data di pubblicazione Autore(i) File
A Formal Analysis of the CORBA Security Service 1-gen-2002 Basin, D.; Rittinger, F.; Vigano', Luca
Modal Specifications of Trace-Based Security Properties 1-gen-2002 Accorsi, R.; Basin, D.; Vigano', Luca
An On-The-Fly Model-Checker for Security Protocol Analysis 1-gen-2003 Basin, D.; Moedersheim, S.; Vigano', Luca
Truth-values as labels: a general recipe for labelled deduction 1-gen-2003 Sernadas, C.; Vigano', Luca; Rasga, J.; Sernadas, A.
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols 1-gen-2003 Basin, D.; Moedersheim, S.; Vigano', Luca
Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols (Extended Abstract) 1-gen-2003 Basin, D; Moedersheim, S; Vigano', Luca
Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity 1-gen-2004 Mateus, P.; Sernadas, A.; Sernadas, C.; Vigano', Luca
Il mio Galois 1-gen-2004 Vigano', Luca
Towards a Metalogic for Security Protocol Analysis 1-gen-2004 Caleiro, C.; Vigano', Luca; Basin, D.
A Formalization of Off-Line Guessing for Security Protocol Analysis 1-gen-2005 HANKES DRIELSMA, P.; Moedersheim, S.; Vigano', Luca
Algebraic Intruder Deductions 1-gen-2005 Basin, D.; Moedersheim, S.; Vigano', Luca
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications 1-gen-2005 Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; HANKES DRIELSMA, P.; Heam, P. C.; Kouchnarenko, O.; Mantovani, J.; Moedersheim, S.; VON OHEIMB, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Vigano', Luca; Vigneron, L.
Relating Strand Spaces and Distributed Temporal Logic for Security Protocol Analysis 1-gen-2005 Caleiro, C.; Vigano', Luca; Basin, D.
OFMC: A Symbolic Model-Checker for Security Protocols 1-gen-2005 Basin, D.; Moedersheim, S.; Vigano', Luca
Preface of the Proceedings of the IJCAR Workshop on "Automated Reasoning for Security Protocol Analysis (ARSPA 2004)" 1-gen-2005 Armando, Alessandro; Vigano', Luca
Deconstructing Alice and Bob 1-gen-2005 Caleiro, C.; Vigano', Luca; Basin, D.
Preface of the "Proceedings of the ICALP 2005 Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA’05)" 1-gen-2005 Degano, Pierpaolo; Vigano', Luca
Galois 1-gen-2005 Vigano', Luca
Metareasoning about Security Protocols using Distributed Temporal Logic 1-gen-2005 Caleiro, C.; Vigano', Luca; Basin, D.
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
Mostrati risultati da 21 a 40 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