| 7937757 |
Multi-domain architecture for process isolation with processor supporting multi-domain architecture |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2011-05-03 |
| 7765595 |
Access control differentiation in trusted computer system |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2010-07-27 |
| 7631342 |
Data security verification for data transfers between security levels in trusted operating system |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2009-12-08 |
| 7591003 |
Security policies in trusted operating system |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2009-09-15 |
| 7549165 |
Trusted operating system with emulation and process isolation |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2009-06-16 |
| 7103914 |
Trusted computer system |
Michael W. Focke, Paul A. Barbieri, Robert D. Wherley, John G. Ata, Dwight B. Engen |
2006-09-05 |