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]
@inproceedings{BeraMGD10-0,
title = {A SAT Based Verification Framework for Wireless LAN Security Policy Management Supported by STRBAC Model},
author = {Padmalochan Bera and Soumya Maity and Soumya Kanti Ghosh and Pallab Dasgupta},
year = {2010},
doi = {10.1007/978-3-642-14478-3_24},
url = {http://dx.doi.org/10.1007/978-3-642-14478-3_24},
tags = {rule-based, security},
researchr = {https://researchr.org/publication/BeraMGD10-0},
cites = {0},
citedby = {0},
pages = {232-241},
booktitle = {Recent Trends in Network Security and Applications - Third International Conference, CNSA 2010, Chennai, India, July 23-25, 2010. Proceedings},
editor = {Natarajan Meghanathan and Selma Boumerdassi and Nabendu Chaki and Dhinaharan Nagamalai},
volume = {89},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-642-14477-6},
}