| |
| 2002 | ||
|---|---|---|
| 2 | W. B. Martin, P. D. White, F. S. Taylor: Creating High Confidence in a Separation Kernel. Autom. Softw. Eng. 9(3): 263-284 (2002) | |
| 2000 | ||
| 1 | EE | W. B. Martin, P. D. White, W. Mark Vanfleet: Government, industry, and academia: Teaming to design high confidence information security applications. FMSP 2000: 37-47 |
| 1 | F. S. Taylor | [2] |
| 2 | W. Mark Vanfleet | [1] |
| 3 | P. D. White | [1] [2] |