VIGANO', Luca

VIGANO', Luca  

DIPARTIMENTO DI SCIENZE GIURIDICHE  

Mostra records
Risultati 1 - 20 di 68 (tempo di esecuzione: 0.031 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 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 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
An Environmental Paradigm for Defending Security Protocols 1-gen-2012 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
An On-The-Fly Model-Checker for Security Protocol Analysis 1-gen-2003 Basin, D.; Moedersheim, S.; Vigano', Luca
Attack Interference in Non-collaborative Scenarios for Security Protocol Analysis 1-gen-2011 Fiazza, Maria Camilla; Peroli, Michele; Vigano', Luca
Automated analysis of RBAC policies with temporal constraints and static role hierarchies 1-gen-2015 Ranise, Silvio; Truong, Anh; Vigano', Luca
Automated Analysis of Scenario-Based Specifications of Distributed Access Control Policies with Non-mechanizable Activities 1-gen-2013 Barletta, Michele; Ranise, Silvio; Vigano', Luca