Dale M. Johnson

Three Applications of Formal Methods at MITRE

Joshua D. Guttman, Dale M. Johnson, J. Guttman, 1994, FME.

Information flow in nondeterministic systems

J. Todd Wittbold, Dale M. Johnson, J. T. Wittbold, 1990, Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.

Security properties consistent with the testing semantics for communicating processes

F. Javier Thayer, Dale M. Johnson, F. Thayer, 1989, Proceedings of the Computer Security Foundations Workshop II,.

A Computer program for Reliable Grade Assignment.

Dale M. Johnson, Bob M. Van Osdol, 1974 .

Dealing with the dynamics of security: Flexibility with utility in an MLS LAN

Ronald J. Watro, Dale M. Johnson, Peter Loscocco, 1992, [1992] Proceedings Eighth Annual Computer Security Application Conference.

Stating security requirements with tolerable sets

F. Javier Thayer, Dale M. Johnson, 1988, TOCS.

Wireless security: vulnerabilities and countermeasures

Dale M. Johnson, 2002, 18th Annual Computer Security Applications Conference, 2002. Proceedings..

Model evaluation of the hydrogeology of the Morris Bridge well field : and vicinity in West-Central Florida

Dale M. Johnson, Paul D. Ryder, James M. Gerhart, 1980 .

Security and the Composition of Machines

F. Javier Thayer, Dale M. Johnson, F. Thayer, 1988, CSFW.

A Diagnostic-Prescriptive Computer Assisted Bibliographic Search System.

R. Scott Baldwin, Dale M. Johnson, 1977 .