A Framework for Design, Verification, and Management of SoC Access Control Systems | IEEE Journals & Magazine | IEEE Xplore