%0 Journal Article %A Wilkins D. and Denker, G. and Stehr, M.O. and Elenius, D. and Senanayake, R. and Talcott, C. %T Policy-Based Cognitive Radios %B IEEE Wireless Communications, Special Issue on Cognitive Wireless Networks %P 41-46 %V 14 %D 2007 %K cognitive radio, policy, spectrum sharing, wireless network %X We present a new language for expressing policies that allow opportunistic spectrum access while not causing interference. CoRaL has expressive constructs for numerical constraints, supports efficient reasoning, and will be verifiable. The language is extensible so that unanticipated policy types can be encoded. We also describe a Policy Reasoner that reasons about CoRaL policies, and show how this reasoner can be used with various cognitive radios (in this case, an XG radio) to guarantee policy-specified behaviors while allowing spectrum sharing. %N 4
