[Home] [CV] [Publications]

Publications

Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies
Wilkins, David and Denker, Grit and Stehr, Mark-Oliver and Elenius, Daniel and Senanayake, Rukman and Talcott, Carolyn - 2007 - PDF

We present the Cognitive Radio (Policy) Language (CoRaL), a new language for expressing policies that govern the behavior of cognitive radios that opportunistically share spectrum. A Policy Reasoner validates radio transmissions to ensure that they are compliant with the spectrum policies. The Policy Reasoner also discovers spectrum sharing opportunities by deriving what requirements must be fulfilled for transmissions to be valid, i.e., in compliance with policies. A novel mix of reasoning techniques is required to implement such a reasoner.

Keywords: spectrum sharing, policy language, policy reasoner