Martha A. Branstad

15 papers A 3Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
1993 J jnl
A High Assurance Window System Prototype.
J. Comput. Secur.
Jeremy Epstein, John McHugh, Hilarie K. Orman, Rita Pascale, Ann B. Marmor-Squires, Bonnie P. Danner, Charles R. Martin, Martha A. Branstad, Glenn S. Benson, D. Rothnie
1992 — conf
Evolution of a trusted B3 window system prototype.
S&P
Jeremy Epstein, John McHugh, Rita Pascale, Charles R. Martin, D. Rothnie, Hilarie K. Orman, Ann B. Marmor-Squires, Martha A. Branstad, Bonnie P. Danner
1991 A conf
A prototype B3 trusted X Window System.
ACSAC
Jeremy Epstein, John McHugh, Rita Pascale, Hilarie K. Orman, Glenn S. Benson, Charles R. Martin, Ann B. Marmor-Squires, Bonnie P. Danner, Martha A. Branstad
1990 — conf
The Role of Trust in Protected Mail.
S&P
Martha A. Branstad, W. Curtis Barker, Pamela Cochrane
1989 A conf
A risk driven process model for the development of trusted systems.
ACSAC
Ann B. Marmor-Squires, John McHugh, Martha A. Branstad, Bonnie P. Danner, Lou Nagy, Pat Rougeau, Daniel F. Sterne
1989 — conf
Access Mediation in a Message Passing Kernel.
S&P
Martha A. Branstad, Homayoon Tajalli, Frank Mayer, David Dalva
1989 A conf
Architectural support of fine-grained secure computing.
ACSAC
James O. Bondi, Martha A. Branstad
1985 J jnl
Summary of SESAW III.
ACM SIGSOFT Softw. Eng. Notes
Martha A. Branstad, Leonard L. Tripp
1984 J jnl
Software Engineering Project Standards.
IEEE Trans. Software Eng.
Martha A. Branstad, Patricia B. Powell
1982 — ed.
Proceedings of the workshop on Rapid Prototyping, Columbia, Maryland, USA, April 19-21, 1982
Rapid Prototyping
Stephen L. Squires, Martha A. Branstad, Marvin V. Zelkowitz
1982 J jnl
Rapid prototyping workshop: an overview.
ACM SIGSOFT Softw. Eng. Notes
Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad
1982 — conf
Rapid prototyping workshop: overview.
Rapid Prototyping
Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad
1982 J jnl
Validation, Verification, and Testing of Computer Software.
ACM Comput. Surv.
W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky
1981 J jnl
Advanced development support systems.
ACM SIGSOFT Softw. Eng. Notes
Thomas A. Standish, Robert Balzer, David R. Barstow, Meera Blattner, Martha A. Branstad, John N. Buxton, Adele Goldberg, Robert Morris, Stephen L. Squires
1980 J jnl
Validation, Verification, and Testing for the Individual Programmer.
Computer
Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion