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

Davide Ferraris, M. Carmen Fernández Gago, Javier López 0001. Verification and Validation Methods for a Trust-by-Design Framework for the IoT. In Shamik Sural, Haibing Lu, editors, Data and Applications Security and Privacy XXXVI - 36th Annual IFIP WG 11.3 Conference, DBSec 2022, Newark, NJ, USA, July 18-20, 2022, Proceedings. Volume 13383 of Lecture Notes in Computer Science, pages 183-194, Springer, 2022. [doi]

Authors

Davide Ferraris

This author has not been identified. Look up 'Davide Ferraris' in Google

M. Carmen Fernández Gago

This author has not been identified. Look up 'M. Carmen Fernández Gago' in Google

Javier López 0001

This author has not been identified. Look up 'Javier López 0001' in Google