Networks on Chip with Provable Security Properties | IEEE Journals & Magazine | IEEE Xplore