Dale M. Johnson

According to our database, Dale M. Johnson authored at least 9 papers between 1988 and 2021.

Collaborative distances:

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

2021

Formal Methods and Mathematical Intuition.

Dale M. Johnson

Proceedings of the Protocols, Strands, and Logic, 2021

2002

Wireless Security: Vulnerabilities and Countermeasures.

Dale M. Johnson

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2000

Layering Boundary Protections: An Experiment in Information Assurance.

Dale M. Johnson, Lee A. Benzinger

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1994

Three Applications of Formal Methods at MITRE.

Joshua D. Guttman, Dale M. Johnson

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1992

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

Peter A. Loscocco, William R. Kutz, Dale M. Johnson, Ronald J. Watro

Proceedings of the Eighth Annual Computer Security Applications Conference, 1992

1990

Information Flow in Nondeterministic Systems.

J. Todd Wittbold, Dale M. Johnson

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

1989

Security Properties Consistent with the Testing Semantics for Communicating Processes.

Dale M. Johnson, F. Javier Thayer

Proceedings of the Second IEEE Computer Security Foundations Workshop, 1989

1988

Stating Security Requirements with Tolerable Sets.

Dale M. Johnson, F. Javier Thayer

ACM Trans. Comput. Syst., 1988

Security and the Composition of Machines.

Dale M. Johnson, F. Javier Thayer

Proceedings of the First IEEE Computer Security Foundations Workshop, 1988