VIGANO', Luca
VIGANO', Luca
DIPARTIMENTO DI SCIENZE GIURIDICHE
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 Formal Analysis of the CORBA Security Service
2002-01-01 Basin, D.; Rittinger, F.; Vigano', 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
Access Controlled Temporal Networks
2017-01-01 Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo
Algebraic Intruder Deductions
2005-01-01 Basin, D.; Moedersheim, S.; Vigano', Luca
Alice and Bob: Reconciling Formal Models and Implementation
2015-01-01 Almousa, Omar; Mödersheim, Sebastian; Vigano', Luca
An Environmental Paradigm for Defending Security Protocols
2012-01-01 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
An O(n log n)-Space Decision Procedure for the Relevance Logic B+
2000-01-01 Vigano', Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A complete tableau procedure for risk analysis | 1-gen-2013 | Cristani, Matteo; E., Karafili; 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 | |
| A Formal Analysis of the CORBA Security Service | 1-gen-2002 | Basin, D.; Rittinger, F.; Vigano', Luca | |
| A Formal Data-Model of the CORBA Security Service | 1-gen-2001 | Basin, D.; Rittinger, F.; Vigano', Luca | |
| A Formalization of Off-Line Guessing for Security Protocol Analysis | 1-gen-2005 | HANKES DRIELSMA, P.; Moedersheim, S.; Vigano', Luca | |
| A Hierarchy of Knowledge for the Formal Analysis of Security-Sensitive Business Processes | 1-gen-2011 | Marchesini, Simone; Vigano', Luca | |
| A History of Until | 1-gen-2010 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A labeled deduction system for the logic UB | 1-gen-2013 | C., Caleiro; Vigano', Luca; Volpe, Marco | |
| A Labeled Natural Deduction System for a Fragment of CTL∗ | 1-gen-2009 | Masini, Andrea; Vigano', Luca; Volpe, Marco | |
| A labeled tableaux system for the Distributed Temporal Logic DTL | 1-gen-2008 | Basin, D.; Caleiro, C.; Ramos, J.; Vigano', Luca | |
| A Modular Presentation of Modal Logics in a Logical Framework | 1-gen-1998 | Basin, D.; Matthews, S.; Vigano', Luca | |
| A New Method for Bounding the Complexity of Modal Logics | 1-gen-1997 | Basin, D.; Matthews, S.; Vigano', Luca | |
| A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| A Recipe for the Complexity Analysis of Non-Classical Logics | 1-gen-2000 | Basin, D.; Vigano', Luca | |
| A Topography of Labelled Model Logics | 1-gen-1996 | Basin, D.; Matthews, S.; Vigano', Luca | |
| Access Controlled Temporal Networks | 1-gen-2017 | Combi, Carlo; Posenato, Roberto; Vigano', Luca; Zavatteri, Matteo | |
| Algebraic Intruder Deductions | 1-gen-2005 | Basin, D.; Moedersheim, S.; Vigano', Luca | |
| Alice and Bob: Reconciling Formal Models and Implementation | 1-gen-2015 | Almousa, Omar; Mödersheim, Sebastian; Vigano', Luca | |
| An Environmental Paradigm for Defending Security Protocols | 1-gen-2012 | Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca | |
| An O(n log n)-Space Decision Procedure for the Relevance Logic B+ | 1-gen-2000 | Vigano', Luca |