CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Bologna, Italy June 13-June 15

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/POLICY.2007.13

Eighth IEEE International Workshop on ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Daniel Elenius Articles by Grit Denker Articles by Mark-Oliver Stehr Articles by Rukman Senanayake Articles by Carolyn Talcott Articles by David Wilkins

	ASCII Text	x
	Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn Talcott, David Wilkins, "CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 261-265, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07), 2007.

	BibTex	x
	@article{ 10.1109/POLICY.2007.13, author = {Daniel Elenius and Grit Denker and Mark-Oliver Stehr and Rukman Senanayake and Carolyn Talcott and David Wilkins}, title = {CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies}, journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on}, volume = {0}, year = {2007}, isbn = {0-7695-2767-1}, pages = {261-265}, doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2007.13}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Policies for Distributed Systems and Networks, IEEE International Workshop on TI - CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies SN - 0-7695-2767-1 SP261 EP265 A1 - Daniel Elenius, A1 - Grit Denker, A1 - Mark-Oliver Stehr, A1 - Rukman Senanayake, A1 - Carolyn Talcott, A1 - David Wilkins, PY - 2007 KW - null VL - 0 JA - Policies for Distributed Systems and Networks, IEEE International Workshop on ER -

Daniel Elenius, SRI International, USA

Grit Denker, SRI International, USA

Mark-Oliver Stehr, SRI International, USA

Rukman Senanayake, SRI International, USA

Carolyn Talcott, SRI International, USA

David Wilkins, SRI International, USA

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.

Citation:

Daniel Elenius, Grit Denker, Mark-Oliver Stehr, Rukman Senanayake, Carolyn Talcott, David Wilkins, "CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies," policy, pp.261-265, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.