Martha A. Branstad

According to our database, Martha A. Branstad authored at least 14 papers between 1980 and 1993.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1993

A High Assurance Window System Prototype.

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

J. Comput. Secur., 1993

1992

Evolution of a trusted B3 window system prototype.

Jeremy Epstein, John McHugh, Rita Pascale, Charles R. Martin, D. Rothnie, Hilarie K. Orman, Ann B. Marmor-Squires, Martha A. Branstad, Bonnie P. Danner

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

1991

A prototype B3 trusted X Window System.

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

Proceedings of the Seventh Annual Computer Security Applications Conference, 1991

1990

The Role of Trust in Protected Mail.

Martha A. Branstad, W. Curtis Barker, Pamela Cochrane

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

1989

Access Mediation in a Message Passing Kernel.

Martha A. Branstad, Homayoon Tajalli, Frank Mayer, David Dalva

Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989

A risk driven process model for the development of trusted systems.

Ann B. Marmor-Squires, John McHugh, Martha A. Branstad, Bonnie P. Danner, Lou Nagy, Pat Rougeau, Daniel F. Sterne

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

Architectural support of fine-grained secure computing.

James O. Bondi, Martha A. Branstad

Proceedings of the Fifth Annual Computer Security Applications Conference, 1989

1985

Summary of SESAW III.

Martha A. Branstad, Leonard L. Tripp

ACM SIGSOFT Softw. Eng. Notes, 1985

1984

Software Engineering Project Standards.

Martha A. Branstad, Patricia B. Powell

IEEE Trans. Software Eng., 1984

1982

Rapid prototyping workshop: an overview.

Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad

ACM SIGSOFT Softw. Eng. Notes, 1982

Validation, Verification, and Testing of Computer Software.

W. Richards Adrion, Martha A. Branstad, John C. Cherniavsky

ACM Comput. Surv., 1982

Rapid prototyping workshop: overview.

Stephen L. Squires, Marvin V. Zelkowitz, Martha A. Branstad

Proceedings of the workshop on Rapid Prototyping, 1982

1981

Advanced development support systems.

Thomas A. Standish, Robert Balzer, David R. Barstow, Meera Blattner, Martha A. Branstad, John N. Buxton, Adele Goldberg, Robert Morris, Stephen L. Squires

ACM SIGSOFT Softw. Eng. Notes, 1981

1980

Validation, Verification, and Testing for the Individual Programmer.

Martha A. Branstad, John C. Cherniavsky, W. Richards Adrion

Computer, 1980