CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Authors:
Daniel Elenius;Grit Denker;Mark-Oliver Stehr;Rukman Senanayake;Carolyn Talcott;David Wilkins
Affiliations:
SRI International, USA;SRI International, USA;SRI International, USA;SRI International, USA;SRI International, USA;SRI International, USA
Venue:
POLICY '07 Proceedings of the Eighth IEEE International Workshop on Policies for Distributed Systems and Networks
Year:
2007

Citing 0
Cited 4

Policy-based spectrum access control for dynamic spectrum access network radios

Web Semantics: Science, Services and Agents on the World Wide Web
User Centric Community Clouds

Wireless Personal Communications: An International Journal
Policy enforced spectrum sharing for unaware secondary systems

Proceedings of the 4th International Conference on Cognitive Radio and Advanced Spectrum Management
Spectrum access policy reasoning for policy-based cognitive radios

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.