VIGANO', Luca

VIGANO', Luca  

DIPARTIMENTO DI SCIENZE GIURIDICHE  

Mostra records
Risultati 1 - 20 di 118 (tempo di esecuzione: 0.034 secondi).
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