A formal approach to security techniques in cognitive networks | IEEE Conference Publication | IEEE Xplore