Dale M. Johnson

Publication Activity (10 Years)

Years Active: 1988-2021
Publications (10 Years): 1

Top Topics

Provably Correct

Formal Specification Language

Top Venues

Protocols, Strands, and Logic

Publications

Dale M. Johnson
Formal Methods and Mathematical Intuition. Protocols, Strands, and Logic (2021)
Dale M. Johnson
Wireless Security: Vulnerabilities and Countermeasures. ACSAC (2002)
Dale M. Johnson, Lee A. Benzinger
Layering Boundary Protections: An Experiment in Information Assurance. ACSAC (2000)
Joshua D. Guttman, Dale M. Johnson
Three Applications of Formal Methods at MITRE. FME (1994)
Peter A. Loscocco, William R. Kutz, Dale M. Johnson, Ronald J. Watro
Dealing with the dynamics of security: Flexibility with utility in an MLS LAN. ACSAC (1992)
J. Todd Wittbold, Dale M. Johnson
Information Flow in Nondeterministic Systems. IEEE Symposium on Security and Privacy (1990)
Dale M. Johnson, F. Javier Thayer
Security Properties Consistent with the Testing Semantics for Communicating Processes. CSFW (1989)
Dale M. Johnson, F. Javier Thayer
Security and the Composition of Machines. CSFW (1988)
Dale M. Johnson, F. Javier Thayer
Stating Security Requirements with Tolerable Sets. ACM Trans. Comput. Syst. 6 (3) (1988)