Policy Reasoning for Spectrum Agile Radios

[1]  Ehab Al-Shaer,et al.  Taxonomy of conflicts in network security policies , 2006, IEEE Communications Magazine.

[2]  Emil C. Lupu,et al.  Conflict Analysis for Management Policies , 1997, Integrated Network Management.

[3]  George Pavlou,et al.  A policy-based quality of service management system for IP DiffServ networks , 2002, IEEE Netw..

[4]  Ian Horrocks,et al.  OWL Web Ontology Language Reference-W3C Recommen-dation , 2004 .

[5]  Filip Perich,et al.  Policy-based spectrum access control for dynamic spectrum access network radios , 2009, J. Web Semant..

[6]  Carolyn L. Talcott,et al.  CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies , 2007, Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07).

[7]  张哉根,et al.  Leu-M , 1991 .

[8]  Carolyn L. Talcott,et al.  Policy-Based Cognitive Radios , 2007, IEEE Wireless Communications.

[9]  F. Perich.  Policy-Based Network Management for NeXt Generation Spectrum Access Control , 2007, 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks.

[10]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[11]  Grzegorz Ko.  Specification and Verification of Constraints in Role Based Access Control for Enterprise Security System. , 2003 .

[12]  Elisa Bertino,et al.  An algebra for fine-grained integration of XACML policies , 2009, SACMAT '09.

[13]  Emil C. Lupu,et al.  Conflicts in Policy-Based Distributed Systems Management , 1999, IEEE Trans. Software Eng..

[14]  Ingo Wegener,et al.  Optimal Ordered Binary Decision Diagrams for Fanout-Free Circuits , 1996 .

[15]  Paris Flegkas,et al.  Policy conflict analysis for quality of service management , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).

[16]  H. Andersen.  An Introduction to Binary Decision Diagrams , 1997 .

[17]  G. Denker,et al.  A Policy Engine for Spectrum Sharing , 2007, 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks.

[18]  Daniel Jackson,et al.  Automating first-order relational logic , 2000, SIGSOFT '00/FSE-8.

[19]  Paris Flegkas,et al.  Dynamic Policy Analysis and Conflict Resolution for DiffServ Quality of Service Management , 2006, 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006.

[20]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[21]  D. O'Sullivan,et al.  Grouping Abstraction and Authority Control in Policy-Based Spectrum Management , 2007, 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks.

[22]  Declan O'Sullivan,et al.  Managing Policies for Dynamic Spectrum Access , 2006, Autonomic Networking.

[23]  Kathi Fisler,et al.  Verification and change-impact analysis of access-control policies , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[24]  Brian L. Mark,et al.  Modeling and analysis of interference in Listen‐Before‐Talk spectrum access schemes , 2006, Int. J. Netw. Manag..

[25]  Brian M. Sadler,et al.  Dynamic Spectrum Access: Signal Processing, Networking, and Regulatory Policy , 2006, ArXiv.

[26]  Ehab Al-Shaer,et al.  Modeling and Management of Firewall Policies , 2004, IEEE Transactions on Network and Service Management.

[27]  Masahiro Fujita,et al.  Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..