Sfoglia per Autore
Back from the future
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols
2010-01-01 Moedersheim, Sebastian; Vigano', Luca; Basin, David
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC
2010-01-01 Calvi, Alberto; Ranise, Silvio; Vigano', Luca
Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA
2010-01-01 Benetti, Davide; Merro, Massimo; Vigano', Luca
Preface of Special Issue on "Computer Security: Foundations and Automated Reasoning"
2011-01-01 Bauer, Lujo; Etalle, Sandro; den Hartog, Jerry; Vigano', Luca
A Deduction System for Meaning Negotiation
2011-01-01 Burato, Elisa; Cristani, Matteo; Vigano', Luca
SecTest 2011, the Second International Workshop on Security Testing
2011-01-01 Li, Keqin; Mallouli, Wissam; Vigano', Luca
Security protocols as environments: A lesson from non-collaboration
2011-01-01 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Workflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services
2011-01-01 Barletta, Michele; Calvi, Alberto; Ranise, Silvio; Vigano', Luca; Zanetti, Luca
Towards Formal Validation of Trust and Security in the Internet of Services
2011-01-01 Carbone, Roberto; Minea, Marius; Moedersheim Sebastian, Alexander; Ponta Serena, Elisa; Turuani, Mathieu; Vigano', Luca
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes
2011-01-01 Marchesini, Simone; Vigano', Luca
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis
2011-01-01 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
A Declarative Two-Level Framework to Specify and Verify Workflow and Authorization Policies in Service-Oriented Architectures
2011-01-01 Barletta, Michele; Ranise, Silvio; Vigano', Luca
Blocking Underhand Attacks by Hidden Coalitions
2011-01-01 Cristani, Matteo; Karafili, Erisa; Vigano', Luca
Modal Deduction Systems for Quantum State Transformations
2011-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
Distributed Temporal Logic for the Analysis of Security Protocol Models
2011-01-01 Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigano', Luca
Labelled natural deduction for a bundled branching temporal logic
2011-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
Towards the secure provision and consumption in the internet of services
2012-01-01 Vigano', Luca
Attack Interference: A Path to Defending Security Protocols
2012-01-01 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
SecTest2012, the Third International Workshop on Security Testing, affiliated with ICST 2012
2012-01-01 Li, Keqin; Mallouli, Wissam; Vigano', Luca
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