COEN PORISINI, ALBERTO
COEN PORISINI, ALBERTO
DIPARTIMENTO DI SCIENZE TEORICHE E APPLICATE
5G in the Internet of Things era: an overview on security and privacy challenges
2020-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto
A Conceptual Model for Privacy Policies
2007-01-01 COEN PORISINI, Alberto; Colombo, Pietro; Sicari, SABRINA SOPHY; Trombetta, Alberto
A finite domain semantics for executing temporal logic specifications
1998-01-01 COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P.
A Formal Approach for Designing CORBA-based Applications
2003-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
A formal framework for ASTRAL inter-level proof obbligations
1995-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A formal framework for ASTRAL intra-level proof obligations
1993-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A Formal Framework for ASTRAL Intra-Level Proof Obligations
1994-01-01 COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D.
A framework architecture for Supervision and Control Systems
2000-01-01 Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
A framework architecture for the development of new generation supervision and control systems
2000-01-01 Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A.
A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support
2010-01-01 Colombo, Pietro; DEL BIANCO, Vieri; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
A meta-model supporting the decomposition of problem descriptions
2010-01-01 Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco
A methodological framework for SysML: a Problem Frames-based approach
2007-01-01 Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto
A NFP Model for Internet of Things applications
2014-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto; C., Cappiello
A Policy Enforcement Framework for Internet of Things Applications in the Smart Health
2017-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Grieco, Luigi Alfredo; Piro, Giuseppe; COEN PORISINI, Alberto
A risk assessment methodology for the Internet of Things
2018-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; COEN PORISINI, Alberto
A secure and quality-aware prototypical architecture for the Internet of Things
2016-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; Cappiello, Cinzia; COEN PORISINI, Alberto
A Secure ICN-IoT Architecture
2017-01-01 Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Grieco, Luigi Alfredo; COEN PORISINI, Alberto
A security-and quality-aware system architecture for Internet of Things
2016-01-01 Sicari, SABRINA SOPHY; Cappiello, C.; De Pellegrini, F.; Miorandi, D.; COEN PORISINI, Alberto
A stepwise approach for designing CORBA-based applications
2000-01-01 COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D.
A tool for the automatic analysis od sequential and parallel communication among protocol entities
1989-01-01 COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 5G in the Internet of Things era: an overview on security and privacy challenges | 1-gen-2020 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto | |
| A Conceptual Model for Privacy Policies | 1-gen-2007 | COEN PORISINI, Alberto; Colombo, Pietro; Sicari, SABRINA SOPHY; Trombetta, Alberto | |
| A finite domain semantics for executing temporal logic specifications | 1-gen-1998 | COEN PORISINI, Alberto; Pradella, M.; SAN PIETRO, P. | |
| A Formal Approach for Designing CORBA-based Applications | 1-gen-2003 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
| A formal framework for ASTRAL inter-level proof obbligations | 1-gen-1995 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A formal framework for ASTRAL intra-level proof obligations | 1-gen-1993 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A Formal Framework for ASTRAL Intra-Level Proof Obligations | 1-gen-1994 | COEN PORISINI, Alberto; Kemmerer, R. A.; Mandrioli, D. | |
| A framework architecture for Supervision and Control Systems | 1-gen-2000 | Capobianchi, R.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
| A framework architecture for the development of new generation supervision and control systems | 1-gen-2000 | Capobianchi, R.; Carcagno, D.; COEN PORISINI, Alberto; Mandrioli, D.; Morzenti, A. | |
| A Meta-model for Problem Frames: Conceptual Issues and Tool Building Support | 1-gen-2010 | Colombo, Pietro; DEL BIANCO, Vieri; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
| A meta-model supporting the decomposition of problem descriptions | 1-gen-2010 | Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto; Colombo, Pietro; Vieri del, Bianco | |
| A methodological framework for SysML: a Problem Frames-based approach | 1-gen-2007 | Colombo, Pietro; DEL BIANCO, V; Lavazza, LUIGI ANTONIO; COEN PORISINI, Alberto | |
| A NFP Model for Internet of Things applications | 1-gen-2014 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; COEN PORISINI, Alberto; C., Cappiello | |
| A Policy Enforcement Framework for Internet of Things Applications in the Smart Health | 1-gen-2017 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Grieco, Luigi Alfredo; Piro, Giuseppe; COEN PORISINI, Alberto | |
| A risk assessment methodology for the Internet of Things | 1-gen-2018 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; COEN PORISINI, Alberto | |
| A secure and quality-aware prototypical architecture for the Internet of Things | 1-gen-2016 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Miorandi, Daniele; Cappiello, Cinzia; COEN PORISINI, Alberto | |
| A Secure ICN-IoT Architecture | 1-gen-2017 | Sicari, SABRINA SOPHY; Rizzardi, Alessandra; Grieco, Luigi Alfredo; COEN PORISINI, Alberto | |
| A security-and quality-aware system architecture for Internet of Things | 1-gen-2016 | Sicari, SABRINA SOPHY; Cappiello, C.; De Pellegrini, F.; Miorandi, D.; COEN PORISINI, Alberto | |
| A stepwise approach for designing CORBA-based applications | 1-gen-2000 | COEN PORISINI, Alberto; Pradella, M.; Rossi, M.; Mandrioli, D. | |
| A tool for the automatic analysis od sequential and parallel communication among protocol entities | 1-gen-1989 | COEN PORISINI, Alberto; Lombardo, A.; Palazzo, S. |