| |
| 2008 | ||
|---|---|---|
| 2 | EE | Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin: A security domain model to assess software for exploitable covert channels. PLAS 2008: 45-56 |
| 1 | Alan B. Shaffer: A Security Domain Model for Static Analysis and Verification of Software Programs. SEKE 2008: 673-678 | |
| 1 | Mikhail Auguston | [2] |
| 2 | Cynthia E. Irvine | [2] |
| 3 | Timothy E. Levin | [2] |