SRI Logo
About Us|R and D Divisions|Careers|Newsroom|Contact Us|SRI Home
  SRI Logo

Coral - policy language and reasoning techniques for spectrum policies
 by Dr. Grit Denker, Daniel Elenius, Rukman Senanayake, Dr. Mark-Oliver Stehr, Dr. Carolyn Talcott & David Wilkins.


We present 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 have to 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. We will give an overview of our approach and explain how it is related to traditional research in logic programming and automated reasoning.

BibTEX Entry
  author    = {Daniel Elenius and
               Grit Denker and
               Mark-Oliver Stehr and
               Rukman Senanayake and
               Carolyn L. Talcott and
               David Wilkins},
  title     = {CoRaL - Policy Language and Reasoning Techniques for Spectrum
  booktitle = {POLICY},
  year      = {2007},
  pages     = {261-265},
  ee        = {},
  crossref  = {DBLP:conf/policy/2007},
  bibsource = {DBLP,}

  title     = {8th IEEE International Workshop on Policies for Distributed
               Systems and Networks (POLICY 2007), 13-15 June 2007, Bologna,
  booktitle = {POLICY},
  publisher = {IEEE Computer Society},
  year      = {2007},
  bibsource = {DBLP,}


About Us  |  R&D Divisions  |  Careers  |  Newsroom  |  Contact Us
© 2024 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy