Computer middleware for use in secure computer systems development; high-assurance communications middleware programs for high robustness separation of computer network communications and high-assurance control of information flows throughout the computer network; secure high-performance communications software middleware product for connecting distributed software applications and/or computer systems; computer middleware developed for embedded systems, enterprise servers, workstations and gl...