Specification and verification of security in reconfigurable scan networks | IEEE Conference Publication | IEEE Xplore