Verification and Validation Methods for a Trust-by-Design Framework for the IoT

TitleVerification and Validation Methods for a Trust-by-Design Framework for the IoT
Publication TypeConference Paper
Year of Publication2022
AuthorsD. Ferraris, C. Fernandez-Gago, and J. Lopez
Conference Name36th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'22)
Volume13383
Pagination183-194
Date Published07/2022
PublisherSpringer
Conference LocationNewark, NJ, USA
ISBN Number978-3-031-10683-5
KeywordsInternet of Things (IoT), SysML, System Development Life Cycle (SDLC), Trust, UML
URLhttps://link.springer.com/chapter/10.1007/978-3-031-10684-2_11
DOI10.1007/978-3-031-10684-2_11
Citation Key1981
Paper File: 
https://nics.uma.es:8082/sites/default/files/papers/1981.pdf