Research Areas

Security policy engineering, computer forensics, wireless network security, software security, and database security.

Publications

 Journals

1. L. A. Wahsheh, D. Conte de Leon, and J. Alves-Foss. Formal Verification and Visualization of Security Policies. Journal of Computers, 3(6):22–31, June 2008.
2. L. A. Wahsheh and J. Alves-Foss. Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model. American Journal of Applied Sciences, 5(9):1117–1126, 2008.
3. L. A. Wahsheh and J. Alves-Foss. Policy-Based Security for Wireless Components in High Assurance Computer Systems. Journal of Computer Science, 3(9):726–735, 2007.
4. L. A. Wahsheh and J. Alves-Foss. Specifying and Enforcing a Multi-Policy Paradigm for High Assurance Multi-Enclave Systems. Journal of High Speed Networks, 15(3):315–327, October 2006.

 Conferences / Technical Reports

5. L. A. Wahsheh and J. Alves-Foss. Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. In Proceedings of the IEEE International Conference on Information Reuse and Integration, pp. 183–189, August 2007.
6. C. C. Price and L. A. Wahsheh. Cascaded Boltzmann Machines for Combinatorial Optimization. In Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, pp. 312–317, July 2000.
7. C. C. Price and L. A. Wahsheh. Cascaded Boltzmann Machines for Combinatorial Optimization. Technical Report No. CS-99-01, Department of Computer Science, Stephen F. Austin State University, September 1999 (this technical report is an extended version of the Systemics, Cybernetics and Informatics conference publication).