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 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 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
Algebraic Intruder Deductions
2005-01-01 Basin, D.; Moedersheim, S.; Vigano', Luca
An automated approach for testing the security of web applications against chained attacks
2016-01-01 Calvi, Alberto; Vigano', Luca
An Environmental Paradigm for Defending Security Protocols
2012-01-01 Fiazza, Maria Camilla; Peroli, Michele; 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 Deduction System for Meaning Negotiation | 1-gen-2011 | Burato, Elisa; Cristani, Matteo; Vigano', Luca | |
A Formal Analysis of the CORBA Security Service | 1-gen-2002 | Basin, D.; Rittinger, F.; Vigano', Luca | |
A Formal Approach to Analyzing Cyber-Forensics Evidence | 1-gen-2018 | Karafili, Erisa; Cristani, Matteo; Viganò, 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 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 | |
A Topological Categorization of Agents for the Definition of Attack States in Multi-agent Systems | 1-gen-2017 | Santacà, Katia; Cristani, Matteo; Rocchetto, Marco; Viganò, 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 | |
An automated approach for testing the security of web applications against chained attacks | 1-gen-2016 | Calvi, Alberto; Vigano', Luca | |
An Environmental Paradigm for Defending Security Protocols | 1-gen-2012 | Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca |