Martha A. Branstad

Publication Activity (10 Years)

Years Active: 1980-1993
Publications (10 Years): 0

Publications

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
A High Assurance Window System Prototype. J. Comput. Secur. 2 (2-3) (1993)
Jeremy Epstein, John McHugh, Rita Pascale, Charles R. Martin, D. Rothnie, Hilarie K. Orman, Ann B. Marmor-Squires, Martha A. Branstad, Bonnie P. Danner
Evolution of a trusted B3 window system prototype. IEEE Symposium on Security and Privacy (1992)
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
A prototype B3 trusted X Window System. ACSAC (1991)
Martha A. Branstad, W. Curtis Barker, Pamela Cochrane
The Role of Trust in Protected Mail. IEEE Symposium on Security and Privacy (1990)
Ann B. Marmor-Squires, John McHugh, Martha A. Branstad, Bonnie P. Danner, Lou Nagy, Pat Rougeau, Daniel F. Sterne
A risk driven process model for the development of trusted systems. ACSAC (1989)
Martha A. Branstad, Homayoon Tajalli, F. Mayer, D. Dalva
Access Mediation in a Message Passing Kernel. IEEE Symposium on Security and Privacy (1989)
James O. Bondi, Martha A. Branstad
Architectural support of fine-grained secure computing. ACSAC (1989)
Martha A. Branstad, Leonard L. Tripp
Summary of SESAW III. ACM SIGSOFT Softw. Eng. Notes 10 (5) (1985)
Martha A. Branstad, Patricia B. Powell
Software Engineering Project Standards. IEEE Trans. Software Eng. 10 (1) (1984)
Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad
Rapid prototyping workshop: overview. Rapid Prototyping (1982)
Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad
Rapid prototyping workshop: an overview. ACM SIGSOFT Softw. Eng. Notes 7 (3) (1982)
W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky
Validation, Verification, and Testing of Computer Software. ACM Comput. Surv. 14 (2) (1982)
Thomas A. Standish, Robert Balzer, David R. Barstow, Meera Blattner, Martha A. Branstad, John Buxton, Adele Goldberg, Robert Morris, Stephen L. Squires
Advanced development support systems. ACM SIGSOFT Softw. Eng. Notes 6 (4) (1981)
Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion
Validation, Verification, and Testing for the Individual Programmer. Computer 13 (12) (1980)