BRESAP: A policy reasoner for processing spectrum access policies represented by binary decision diagrams

2010 IEEE Symposium on New Frontiers in Dynamic Spectrum, DySPAN 2010

Volumn , Issue , 2010, Pages

  Bahrak, Behnam ^a   Deshpande, Amol ^a   Whitaker, Maxwell ^a   Park, Jung Min ^a  

^a State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE SETS; DYNAMIC SPECTRUM ACCESS; GRAPH-BASED; GRAPH-THEORETIC; MULTI-TERMINAL BINARY DECISION DIAGRAMS; POLICY ANALYSIS; POLICY ENFORCEMENT; RADIO PLATFORMS; REASONER; REASONING ENGINE; REASONING PROBLEMS; REFRAMING; SPECTRUM ACCESS; SPECTRUM MANAGEMENT; TRANSMISSION PARAMETERS; TRANSMISSION REQUEST;

ALGORITHMS; BINARY DECISION DIAGRAMS; BOOLEAN FUNCTIONS; COMPUTATION THEORY; GRAPH THEORY; SPECTROSCOPY;

PLASMA DIAGNOSTICS;

EID: 77953201364     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DYSPAN.2010.5457867     Document Type: Conference Paper

References (20)

1. D. Agrawal, J. Giles, K. Lee, J. Lobo, "Policy Ratification", in Proc. of Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05), 2005, pp.223-232.
2. H. R. Andersen "An Introduction to Binary Decision Diagrams", Lecture Notes, 1999, IT University of Copenhagen.
3. J. W. Bryans, "Formal Analysis of Access Control Policies", 5th All Hands Meeting, AHM2006 , 18th-21st September, Nottingham, UK.
4. DARPA XG Working Group, "The XG Vision, Request for Comments", prepared by BBN Technologies, July 2003.
5. G. Denker, D. Elenius, R. Senanayake, M.-O. Stehr, and D. Wilkins, "A policy engine for spectrum sharing", in Proc. of 2007 IEEE DySPAN, Apr. 2007, pp. 55-65.
6. D. Elenius, G. Denker, M.O. Stehr, R. Senanayake, C. Talcott, D. Wilkins, "CoRaL - Policy Language and Reasoning Techniques for Spectrum Policies", Policies for Distributed Systems and Networks, 2007. POLICY '07, 13-15 June 2007, pp. 261-265
7. K. Feeney, D. Lewis, P. Argyroudis, K. Nolan, and D. O'Sullivan, "Grouping abstraction and authority control in policy-based spectrum management", in Proc. of 2007 IEEE DySPAN, Apr. 2007, pp. 363-371.
8. B. A. Fette (Editor), "Cognitive Radio Technology", 2nd edition, Elsevier, 2009.
9. K. Fisler, S. Krishnamurthi, L. A. Meyerovich, and M. C. Tschantz. "Verification and change-impact analysis of access-control policies", In Proceedings of the 27th International Conference on Software Engineering (ICSE), 2005, pp. 196-205.
10. M. Fujita, P. C. McGeer, and J. C.-Y. Yang. "Multi-terminal binary decision diagrams: An efficient datastructure for matrix representation", Formal Methods in System Design, vol 10, 1997, pp. 149-169.
11. J.E. Harlow, and F. Brglez, "Design of experiments and evaluation on of BDD ordering heuristics", Intl. J. Software Tools for Technol. Transfer., vol 3, 2001, pp. 193-206.
12. D. Jackson, "Automating first-order relational logic", In ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Nov. 2000, pp. 130-139.
13. G. Kolaczek. "Specification and verification of constraints in role based access control for enterprise security system". In International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003, pp. 190-195.
14. C. Llano, E. Asensio and F. Fuentes, "Variable Ordering Schemes to apply to the Binary Decision Diagram methodology for Event Tree Sequences Assessment", Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol 222, 2008, pp 7-16.
15. J. Mitola III, "Cognitive radio: an integrated agent architecture for software defined radio", Ph.D Thesis, KTH Royal Institute of Technology, 2000.
16. F. Perich, R. Foster, P. Tenhula, and M. McHenry, "Experimental field test results on feasibility of declarative spectrum management", in Proc. of 2008 IEEE DySPAN, Oct. 2008, pp. 1-10.
17. F. Perich, M. McHenry, "Policy-based spectrum access control for dynamic spectrum access network radios", Web Semantics: Science, Services and Agents on the World Wide Web, vol 7, 2009, pp. 21-27.
18. P. Rao, D. Lin, E. Bertino, N. Li, and J. Lobo, "An Algebra for Fine-Grained Integration of XACML Policies", 14th ACM symposium on Access control models and technologies, June 2009, pp. 63-72.
19. M. Sauerhoff, I. Wegener, and R. Werchner, "Optimal Ordered Binary Decision Diagrams for Fanout-free Circuits", in Proc. SASIMI96, 1996, pp. 197-204.
20. D. Wilkins, G. Denker, M.O. Stehr, D. Elenius, and R. Senanayake, "Policy-based cognitive radios", IEEE Wireless Communications Magazine, vol 14, 2007, pp. 41-46.