CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 118
Titolo Data di pubblicazione Autore(i) File
A History of Until 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 1-gen-2010 Moedersheim, Sebastian; Vigano', Luca; Basin, David
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA 1-gen-2010 Benetti, Davide; Merro, Massimo; Vigano', Luca
Back from the future 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 1-gen-2011 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Towards Formal Validation of Trust and Security in the Internet of Services 1-gen-2011 Carbone, Roberto; Minea, Marius; Moedersheim Sebastian, Alexander; Ponta Serena, Elisa; Turuani, Mathieu; Vigano', Luca
Security protocols as environments: A lesson from non-collaboration 1-gen-2011 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning" 1-gen-2011 Bauer, Lujo; Etalle, Sandro; den Hartog, Jerry; Vigano', Luca
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes 1-gen-2011 Marchesini, Simone; Vigano', Luca
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services 1-gen-2011 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
Modal Deduction Systems for Quantum State Transformations 1-gen-2011 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Blocking Underhand Attacks by Hidden Coalitions 1-gen-2011 Cristani, Matteo; Karafili, Erisa; Vigano', Luca
Labelled natural deduction for a bundled branching temporal logic 1-gen-2011 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Deduction System for Meaning Negotiation 1-gen-2011 Burato, Elisa; Cristani, Matteo; Vigano', Luca
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures 1-gen-2011 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Distributed Temporal Logic for the Analysis of Security Protocol Models 1-gen-2011 Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigano', Luca
SecTest 2011, the Second International Workshop on Security Testing 1-gen-2011 Li, Keqin; Mallouli, Wissam; Vigano', Luca
Attack Interference: A Path to Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures 1-gen-2012 Alessandro, Armando; Wihem, Arsac; Tigran, Avanesov; Barletta, Michele; Calvi, Alberto; Alessandro, Cappai; Roberto, Carbone; Yannick, Chevalier; Luca, Compagna; Jorge, Cuellar; Gabriel, Erzse; Simone, Frau; Marius, Minea; Sebastian, Moedersheim; David von, Oheimb; Giancarlo, Pellegrino; Serena Elisa, Ponta; Rocchetto, Marco; Michael, Rusinowitch; Mohammad Torabi, Dashti; Mathieu, Turuani; Vigano', Luca
An Environmental Paradigm for Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Mostrati risultati da 61 a 80 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