Moscow / Munich / Charlotte / Washington / Magdeburg / Bedford / /
Company
Lockheed Martin / RTCS Inc. / Deeply Embedded Systems / Unbounded Environments / Green Hills Software / General Dynamics / Aerospace Electronics / MITRE Corp. / High Assurance Embedded Systems / HypoVereinsbank / IEEE Computer / Airborne Systems / Rockwell Collins / Air Force Research Laboratory / Raytheon / High Assurance Systems / Embedded Systems / RTCA Inc. / Boeing / Ames / IEEE Software / /
Country
Netherlands / France / Canada / United Kingdom / Germany / Oman / United States / Vietnam / / /
Event
FDA Phase / /
Facility
University of Idaho’s Center / Tulane University / Otto von Guericke University / Hill AFB / University of Idaho / University of Idaho Center / Institute of Electrical / Air Force Research Laboratory / Dependable Systems University of Idaho Moscow / / /
IndustryTerm
software engineering / life-support systems / secure systems / application-layer protocol / valid server / real-time architecture / security systems / verifiable software component / database server / communication protocols / applicationlevel protocol / security solutions / highassurance systems / legacy software / software security / less complex solution / legacy applications / igh-assurance systems / authorized communications paths / verifiable secure systems / safety-critical systems / server applications / assurance systems / insecure applications / Object-oriented communications protocols / /
NaturalFeature
Wind River / /
Organization
CORBA GIOP / University of Idaho / Defense Advanced Research Projects Agency / U.S. government / University of Idaho Center for Secure / Jim Alves-Foss Center for Secure and Dependable Systems Multiple Independent Levels of Security and Safety / University of Idaho Hewlett-Packard Engineering / University of Idaho’s Center for Dependable and Secure Systems / Air Force / Center for Secure / Institute of Electrical / Institute of Electrical and Electronics Engineers / National Security Agency / Radio Technical Commission for Aeronautics / Dependable Systems University of Idaho Moscow / Department of Defense / Univ. of Idaho / IEEE Computer Society / Tulane University in New Orleans / /
Person
Alyson / Jeff Rogers / W. Scott Harrison / Message Path / Leonard LaPadula / Jim Alves-Foss / Carol Taylor / D. Elliot / Mark Jefferson / Nadine Hanebutte / Partition / Ravi Sahndu / / /
Position
protocol guard / MILS Architecture Guard / guard / appropriate guard for analysis / Example Policy The Common Object Request Broker / guard / or mediator / General / MMR Guard / professor of computer science / software engineer for the risk-control department / assistant professor in the Computer Science Department / associate professor / senior member / protocol-specific guard / Client MMR Guard / assistant editor / GIOP guard / protocolspecific guard / Partitions Processes Guard / director / Chair / past assistant editor / /
Product
MILS / /
ProvinceOrState
Saskatchewan / Hawaii / Idaho / /
PublishedMedium
IEEE Software / /
RadioStation
Radio System October / /
Technology
Information Technology / CORBA / operating system / real-time operating system / flow control / application-layer protocol / Object-oriented communications protocols / GPS / MILS technology / process control / applicationlevel protocol / communication protocols / client/server / /