Folgen
Alberto Coen-Porisini
Alberto Coen-Porisini
Professor of software engineering, University of Insubria, Italy
Bestätigte E-Mail-Adresse bei uninsubria.it
Titel
Zitiert von
Zitiert von
Jahr
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
24302015
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
1462016
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, 665-677, 2016
1452016
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
1362001
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
1292020
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
1001999
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
972016
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
922003
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
882018
Specification of realtime systems using ASTRAL
A Coen-Porisini, C Ghezzi, RA Kemmerer
IEEE Transactions on Software Engineering 23 (9), 572-598, 1997
841997
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
752012
Software specialization via symbolic execution
A Coen-Porisini, F De Paoli, C Ghezzi, D Mandrioli
IEEE Transactions on Software Engineering 17 (9), 884, 1991
681991
Security policy enforcement for networked smart objects
S Sicari, A Rizzardi, D Miorandi, C Cappiello, A Coen-Porisini
Computer Networks 108, 133-147, 2016
652016
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
622017
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
541994
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
532018
Smart transport and logistics: A Node‐RED implementation
S Sicari, A Rizzardi, A Coen‐Porisini
Internet Technology Letters 2 (2), e88, 2019
442019
A risk assessment methodology for the Internet of Things
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Computer Communications 129, 67-79, 2018
422018
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
342017
Internet of Things: Security in the keys
S Sicari, A Rizzardi, D Miorandi, A Coen-Porisini
Proceedings of the 12th ACM symposium on qos and security for wireless and …, 2016
302016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20