Testing Formally Specified Software Requirements for Cybersecurity Regulatory Compliance

Midshipman Researcher(s): 1/C Kam Chumley-Soltani

Adviser(s): Professor Jeffrey Kosseff

Poster #34

The proposed research focuses on providing software developers and testers with a formal and experimentally evaluated technique to verify compliance at later phases of software development, not only in the beginning phases of the process. The purpose of the research assignment is to identify, classify, and resolve ambiguities in the NIST standards (SP 800-171) as well as define the legal requirements under both DOD and NARA regulations.

Full Size Cyber Operations #34