Zannone, Nicola

Zannone, Nicola  

Informatica e Telecomunicazioni (cess.31/12/07)  

Mostra records
Risultati 1 - 20 di 50 (tempo di esecuzione: 0.036 secondi).
Titolo Anno di pubblicazione Autori Unitn File
A Model-Driven Approach for the Specification and Analysis of Access Control Policies 1-gen-2008 Massacci, FabioZannone, Nicola
A Privacy Model to Support Minimal Disclosure in Virtual Organizations 1-gen-2006 Massacci, FabioMylopoulos, IoannisZannone, Nicola
An enhanced CFA for security policies 1-gen-2004 Priami, CorradoZannone, Nicola +
An evaluation of business solutions in manufacturing enterprises 1-gen-2008 Asnar, Yudistira Dwi WardhanaGiorgini, PaoloZannone, Nicola +
An Ontology for Secure Socio-Technical Systems 1-gen-2007 Massacci, FabioMylopoulos, IoannisZannone, Nicola
Computer-aided Support for Secure Tropos 1-gen-2007 Massacci, FabioMylopoulos, IoannisZannone, Nicola
Creating Objects in the Flexible Authorization Framework 1-gen-2006 Zannone, Nicola +
Designing Security Requirements Models through Planning 1-gen-2006 Bryl, VolhaMassacci, FabioMylopoulos, IoannisZannone, Nicola
Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank 1-gen-2011 Massacci, FabioZannone, Nicola
Detecting Conflicts between Functional and Security Requirements with Secure Tropos: John Rusnak and the Allied Irish Bank 1-gen-2006 Massacci, FabioZannone, Nicola
Detecting Conflicts of Interest 1-gen-2006 Giorgini, PaoloMassacci, FabioMylopoulos, IoannisZannone, Nicola
E-Government and On-line Services: Security and Legal Patterns 1-gen-2007 Guarda, PaoloMassacci, FabioZannone, Nicola
Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009: Proceedings 1-gen-2009 Massacci, FabioZannone, Nicola +
Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010: Proceedings 1-gen-2010 Massacci, FabioZannone, Nicola +
Extending Agent-oriented Requirements with Declarative Business Processes: a Computational Logic-based Approach 1-gen-2007 Bryl, VolhaZannone, Nicola +
Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures 1-gen-2004 Giorgini, PaoloMassacci, FabioMylopoulos, IoannisZannone, Nicola
Formal Analysis of BPMN Via a Translation into COWS 1-gen-2008 Prandi, DavideQuaglia, PaolaZannone, Nicola
Formal Analysis of BPMN Via a Translation into COWS 1-gen-2008 Prandi, DavideQuaglia, PaolaZannone, Nicola
From Hippocratic Databases to Secure Tropos: A Computer-Aided Re-engineering Approach 1-gen-2007 Massacci, FabioMylopoulos, IoannisZannone, Nicola
From Hippocratic Databases to Secure Tropos: a Computer-Aided Re-Engineering Approach 1-gen-2006 Massacci, FabioMylopoulos, IoannisZannone, Nicola