Security Architecture and Formal Analysis for Cognitive Radio Networks

Rapid development of Wireless communication leads to more and more wireless standards appear, and security architecture of different standards are not compatible. In this paper, compatibility of security architecture for cognitive radio network is discussed and a unified security architecture is proposed. BAN logic analysis verifies the proposed architecture is adaptable, scalable, and suitable for cognitive radio networks.