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

Davide Ferraris, M. Carmen Fernndez Gago, Javier Lpez

Browse the full DBSEC paper archive.