| |
Lu'ay A. Wahsheh
List of publications from the DBLP Bibliography Server - FAQ
| 2008 | ||
|---|---|---|
| 3 | EE | Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-Foss: Formal Verification and Visualization of Security Policies. JCP 3(6): 22-31 (2008) |
| 2007 | ||
| 2 | EE | Lu'ay A. Wahsheh, Jim Alves-Foss: Using Policy Enforcement Graphs in a Separation-Based High Assurance Architecture. IRI 2007: 183-189 |
| 2006 | ||
| 1 | EE | Lu'ay A. Wahsheh, Jim Alves-Foss: Specifying and enforcing a multi-policy paradigm for high assurance multi-enclave systems. J. High Speed Networks 15(3): 315-327 (2006) |
| 1 | Jim Alves-Foss | [1] [2] [3] |
| 2 | Daniel Conte de Leon | [3] |