Padmalochan Bera, Soumya Maity, Soumya Kanti Ghosh, Pallab Dasgupta. A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model. In Natarajan Meghanathan, Selma Boumerdassi, Nabendu Chaki, Dhinaharan Nagamalai, editors, Recent Trends in Network Security and Applications - Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings. Volume 89 of Communications in Computer and Information Science, pages 232-241, Springer, 2010. [doi]
Abstract is missing.