7
Publications
148
Citations
7
H-Index
1982
Active since
Affiliations
Martha Branstad is an author at Trident Systems (United States) specializing in computer engineering, system software, and engineering.
Top concepts
EngineeringSystem SoftwareComputer ScienceComputer EngineeringSoftware AnalysisInformation SecurityData SecurityOperating SystemsSystems EngineeringHardware Systems
Publications per year
1982–2003
7
7
Access meditation in a message passing kernel
Martha Branstad, H. Tajalli, Frank Mayer et al. · 2003 · 32 citations
A High Assurance Window System Prototype1
Jeremy Epstein, John McHugh, Hilarie Orman et al. · Journal of Computer Security · 1993 · 25 citations
Engineering, Hardware Verification Language, Information Security +18
A prototype B3 trusted X Window System
Jeremy Epstein, John McHugh, Rita Pascale et al. · 2002 · 24 citations
Engineering, Information Security, Computer Security Model +22
Software Engineering Project Standards
Martha Branstad, Patricia B Powell · IEEE Transactions on Software Engineering · 1984 · 17 citations · Full text
Rows per page
1–5 of 7