VIGANO', Luca

VIGANO', Luca  

DIPARTIMENTO DI SCIENZE GIURIDICHE  

Mostra records
Risultati 1 - 20 di 41 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
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
A History of Until 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
An O(n log n)-Space Decision Procedure for the Relevance Logic B+ 1-gen-2000 Vigano', Luca
Attack Interference: A Path to Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
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
Automated Security Protocol Analysis With the AVISPA Tool 1-gen-2006 Vigano', Luca
Back from the future 1-gen-2010 Masini, Andrea; Vigano', Luca; Volpe, Marco
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 1-gen-2017 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
Conditional simple temporal networks with uncertainty and decisions 1-gen-2019 Zavatteri, Matteo; Viganò, Luca
Conditional Simple Temporal Networks with Uncertainty and Resources 1-gen-2019 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Consistency checking of STNs with decisions: Managing temporal and access-control constraints in a seamless way 1-gen-2021 Zavatteri, Matteo; Combi, Carlo; Rizzi, Romeo; Viganò, Luca
Constraint Differentiation: Search-Space Reduction for the Constraint-Based Analysis of Security Protocols 1-gen-2010 Moedersheim, Sebastian; Vigano', Luca; Basin, David
Deconstructing Alice and Bob 1-gen-2005 Caleiro, C.; Vigano', Luca; Basin, D.
Distributed Temporal Logic for the Analysis of Security Protocol Models 1-gen-2011 Basin, David; Caleiro, Carlos; Ramos, Jaime; Vigano', Luca
Fibring Labelled Deduction Systems 1-gen-2002 J., Rasga; A., Sernadas; C., Sernadas; Vigano', Luca
Labelled Modal Logics: Quantifiers 1-gen-1998 Basin, D.; Matthews, S.; Vigano', Luca
Labelled natural deduction for a bundled branching temporal logic 1-gen-2011 Masini, Andrea; Vigano', Luca; Volpe, Marco
Labelled Propositional Modal Logics: Theory and Practice 1-gen-1997 Basin, D.; Matthews, S.; Vigano', Luca
Labelled Tableaux for Distributed Temporal Logic 1-gen-2009 Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca
Last man standing: Static, decremental and dynamic resiliency via controller synthesis 1-gen-2019 Zavatteri, Matteo; Viganò, Luca