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