Urmăriți
Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
Adresă de e-mail confirmată pe uninsubria.it
Titlu
Citat de
Citat de
Anul
Security, privacy and trust in Internet of Things: The road ahead
S Sicari, A Rizzardi, LA Grieco, A Coen-Porisini
Computer networks 76, 146-164, 2015
20692015
Using symbolic execution for verifying safety-critical systems
A Coen-Porisini, G Denaro, C Ghezzi, M Pezzé
Proceedings of the 8th European software engineering conference held jointly …, 2001
1292001
A secure and quality-aware prototypical architecture for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Information Systems 58, 43-55, 2016
1252016
A security-and quality-aware system architecture for Internet of Things
S Sicari, C Cappiello, F De Pellegrini, D Miorandi, A Coen-Porisini
Information Systems Frontiers 18 (4), 665-677, 2016
1202016
From formal models to formally based methods: An industrial experience
E Ciapessoni, P Mirandola, A Coen-Porisini, D Mandrioli, A Morzenti
ACM Transactions on Software Engineering and Methodology (TOSEM) 8 (1), 79-113, 1999
971999
A formal approach for designing CORBA-based applications
A Coen-Porisini, M Pradella, M Rossi, D Mandrioli
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (2), 107-151, 2003
892003
AUPS: An open source AUthenticated Publish/Subscribe system for the Internet of Things
A Rizzardi, S Sicari, D Miorandi, A Coen-Porisini
Information Systems 62, 29-41, 2016
862016
Specification of realtime systems using ASTRAL
A Coen-Porisini, C Ghezzi, RA Kemmerer
IEEE Transactions on Software Engineering 23 (9), 572-598, 1997
851997
DyDAP: A dynamic data aggregation scheme for privacy aware wireless sensor networks
S Sicari, LA Grieco, G Boggia, A Coen-Porisini
Journal of Systems and Software 85 (1), 152-166, 2012
722012
REATO: REActing TO Denial of Service attacks in the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Networks 137, 37-48, 2018
682018
Software specialization via symbolic execution
A Coen-Porisini, F De Paoli, C Ghezzi, D Mandrioli
IEEE Transactions on Software Engineering 17 (9), 884, 1991
651991
5G in the internet of things era: an overview on security and privacy challenges
S Sicari, A Rizzardi, A Coen-Porisini
Computer Networks 179, 107345, 2020
642020
Security policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Computer Networks 108, 133-147, 2016
532016
A policy enforcement framework for Internet of Things applications in the smart health
S Sicari, A Rizzardi, LA Grieco, G Piro, A Coen-Porisini
Smart Health 3, 39-74, 2017
512017
A formal framework for ASTRAL intralevel proof obligations
A Coen-Porisini, RA Kemmerer, D Mandrioli
IEEE Transactions on Software Engineering 20 (8), 548-561, 1994
431994
Toward data governance in the internet of things
S Sicari, A Rizzardi, C Cappiello, D Miorandi, A Coen-Porisini
New advances in the internet of things, 59-74, 2018
392018
Smart transport and logistics: A Node‐RED implementation
S Sicari, A Rizzardi, A Coen‐Porisini
Internet Technology Letters 2 (2), e88, 2019
292019
A risk assessment methodology for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Communications 129, 67-79, 2018
292018
Security towards the edge: Sticky policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Information Systems 71, 78-89, 2017
282017
Introducing privacy in a hospital information system
S Braghin, A Coen-Porisini, P Colombo, S Sicari, A Trombetta
Proceedings of the fourth international workshop on software engineering for …, 2008
272008
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20