Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution

Amir Eaman, Bahman Sistany, Amy P. Felty. Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution. In Esma Aïmeur, Umar Ruhi, Michael Weiss, editors, E-Technologies: Embracing the Internet of Things - 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings. Volume 289 of Lecture Notes in Business Information Processing, pages 116-135, 2017. [doi]

@inproceedings{EamanSF17,
  title = {Review of Existing Analysis Tools for SELinux Security Policies: Challenges and a Proposed Solution},
  author = {Amir Eaman and Bahman Sistany and Amy P. Felty},
  year = {2017},
  doi = {10.1007/978-3-319-59041-7_7},
  url = {https://doi.org/10.1007/978-3-319-59041-7_7},
  researchr = {https://researchr.org/publication/EamanSF17},
  cites = {0},
  citedby = {0},
  pages = {116-135},
  booktitle = {E-Technologies: Embracing the Internet of Things - 7th International Conference, MCETECH 2017, Ottawa, ON, Canada, May 17-19, 2017, Proceedings},
  editor = {Esma Aïmeur and Umar Ruhi and Michael Weiss},
  volume = {289},
  series = {Lecture Notes in Business Information Processing},
  isbn = {978-3-319-59041-7},
}