课程主页: https://www.coursera.org/learn/secure-coding-principles
在信息安全日益重要的今天，安全编码的原则和实践已经成为软件开发中不可忽视的一部分。《安全编码原理》是一门在Coursera上开设的在线课程，旨在为学员提供扎实的安全编程基础。
课程首先探讨了安全编程的哲学和原则，帮助学员理解安全编程的基本理念。接着，课程深入讨论了稳健编程的概念，并解释了其与安全编程之间的密切关系。学生将通过实际案例学习如何编写稳健的代码，并了解许多常见编程问题如何与稳健和安全编程相联系。
课程大纲内容丰富：
1. **安全编程哲学**：这一模块提供了安全编程的关键概念，使学员能够区分稳健编程和安全编程，掌握如何将一般性原则应用于具体情境。
2. **安全编程设计原则**：学员将学习八条软件设计原则，亲自编写程序以验证系统是否遵循完全调制原则，并将知名的Saltzer、Schroeder和Kaashoek设计原则应用于实际代码。
3. **稳健编程**：本模块帮助学员了解脆弱编程可能引发的问题，讨论设计问题如何驱动实现，并能够识别并编写稳健的代码，以替代脆弱代码。
4. **稳健性的方法**：学员将学习模仿形式方法的技术，以增强程序的稳健性和安全性，能够比较形式、非正式和临时编程方法，并通过实例展示差劲编程可能导致的错误结果。
通过学习这门课程，学员将获得必要的技能和知识，以在编写软件时更好地考虑安全性和稳健性，成为更负责的开发者。对于希望提升自己编程安全意识的编程人员来说，这门课程绝对是值得推荐的选择。
课程主页: https://www.coursera.org/learn/secure-coding-principles