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 complete tableau procedure for risk analysis
2013-01-01 Cristani, Matteo; E., Karafili; 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
A Deduction System for Meaning Negotiation
2011-01-01 Burato, Elisa; Cristani, Matteo; Vigano', Luca
A Formal Analysis of the CORBA Security Service
2002-01-01 Basin, D.; Rittinger, F.; Vigano', Luca
A Formal Approach to Analyzing Cyber-Forensics Evidence
2018-01-01 Karafili, Erisa; Cristani, Matteo; Viganò, Luca
A Formal Data-Model of the CORBA Security Service
2001-01-01 Basin, D.; Rittinger, F.; Vigano', Luca
A Formalization of Off-Line Guessing for Security Protocol Analysis
2005-01-01 HANKES DRIELSMA, P.; Moedersheim, S.; Vigano', Luca
A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes
2011-01-01 Marchesini, Simone; Vigano', Luca
A History of Until
2010-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A labeled deduction system for the logic UB
2013-01-01 C., Caleiro; Vigano', Luca; Volpe, Marco
A Labeled Natural Deduction System for a Fragment of CTL∗
2009-01-01 Masini, Andrea; Vigano', Luca; Volpe, Marco
A labeled tableaux system for the Distributed Temporal Logic DTL
2008-01-01 Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca
A Modular Presentation of Modal Logics in a Logical Framework
1998-01-01 Basin, D.; Matthews, S.; Vigano', Luca
A New Method for Bounding the Complexity of Modal Logics
1997-01-01 Basin, D.; Matthews, S.; Vigano', Luca
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A Recipe for the Complexity Analysis of Non-Classical Logics
2000-01-01 Basin, D.; Vigano', Luca
A Topography of Labelled Model Logics
1996-01-01 Basin, D.; Matthews, S.; Vigano', Luca
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems
2017-01-01 Santacà, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, Luca
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo