VIGANO', Luca

VIGANO', Luca  

DIPARTIMENTO DI SCIENZE GIURIDICHE  

Mostra records
Risultati 1 - 20 di 118 (tempo di esecuzione: 0.035 secondi).
Titolo Data di pubblicazione Autore(i) File
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 1-gen-2017 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
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 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 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
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