Software Security Assurance State-of-the-Art Report (SOAR) 245
Section 6 Software Assurance Initiatives, Activities, and Organizations
u Integration of a mechanism to automatically transform natural
language security requirements into formal specifications of those