Secure Software Development

Overview of methodologies for development of high-assurance software. Major topics include analysis of security and safety risks, software certification criteria, the software development lifecycle, risk mitigation, design and coding best practices, verification techniques, and auditing of software for insecure and unsafe coding constructs.