| |
| 1998 | ||
|---|---|---|
| 3 | EE | Duane E. Olawsky, Charles Payne, Thomas Sundquist, David Apostal, Todd Fine: Using Composition to Design Secure, Fault-Tolerant Systems. HASE 1998: 29- |
| 1996 | ||
| 2 | EE | Todd Fine: Defining Noninterference in the Temporal Logic of Actions. IEEE Symposium on Security and Privacy 1996: 12-21 |
| 1989 | ||
| 1 | Todd Fine, J. Thomas Haigh, Richard C. O'Brien, Dana L. Toups: Noninterference and the Unwinding for LOCK. CSFW 1989: 22-28 | |
| 1 | David Apostal | [3] |
| 2 | J. Thomas Haigh | [1] |
| 3 | Richard C. O'Brien | [1] |
| 4 | Duane E. Olawsky | [3] |
| 5 | Charles Payne | [3] |
| 6 | Thomas Sundquist | [3] |
| 7 | Dana L. Toups | [1] |