| |
| Formal Verification and Visualization of Security Policies |
2008 |
Journal of Computers
Vol. 3(6), pp. ( 22-31 ) |
| |
L. Wahsheh, D. Conte de Leon, J. Alves-Foss |
| Security Policy Development: Towards a Life-Cycle and Logic-Based Verification Model |
2008 |
American Journal of Applied Sciences
Vol. 5(9), pp. ( 1117-1126 ) |
| |
L. Wahsheh, J. Alves-Foss |
| Policy-Based Security for Wireless Components in High Assurance Computer Systems |
2007 |
Journal of Computer Science
Vol. 3(9), pp. ( 726-735 ) |
| |
L. Wahsheh, J. Alves-Foss |
| Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture |
2007 |
| In Proceedings of the IEEE International Conference on Information Reuse and Integration, pp. ( 183-189 ) |
| |
L. Wahsheh, J. Alves-Foss |
| Specifying and Enforcing a Multi-Policy Paradigm for High Assurance Multi-Enclave Systems |
2006 |
Journal of High Speed Networks
Vol. 15(3), pp. ( 315-327 ) |
| |
L. Wahsheh, J. Alves-Foss |
| Cascaded Boltzmann Machines for Combinatorial Optimization |
2000 |
| In Proceedings of the 4th World Multiconference on Systemics, Cybernetics and Informatics, pp. ( 312-317 ) |
| |
L. Wahsheh, C. C. Price |
