软件安全开发 课件.pptVIP

验证输入——常见数据类型 字符串 确定合法范围，拒绝非法字符（串） 0（NIL） 行结束编码 0x0a（unix） 0x0d 0x0a (dos, windows) 0x0d (APPLE MacOS) 0x85 (IBM OS/390) 特定字符 系统字符 分割字符 * 验证输入——常见数据类型 数字 数字检查（正则表达式/ASCII值） 负数检查（大数溢出为负数） Sendamil 攻击 合法范围检查 文件名 最好不让用户设置文件名 避免特殊字符 . / - -rf ../ com1 * 验证输入——常见数据类型 电子邮件地址 限制合法的电子邮件地址 UTF-8 变长编码 URI/URL 非法地址 在合法地址后面增加恶意内容 * 避免缓冲区溢出 缓冲区溢出 缓冲区：包含相同数据类型的实例的一个连续计算机内存块 溢出：数据被添加到分配给该缓冲区的内存块之外 外部数据比目标空间大 是一个非常普遍而且严重的问题 * 避免缓冲区溢出 溢出后果 攻击者可以使远程服务程序或者本地程序崩溃 攻击者可以设计溢出后执行的代码 C/C++语言 语言特性决定 大量的库函数存在溢出 strcpy、strcat、gets等 其他语言 调用C语言库 C#允许设置“不安全”例程 * SDL每个阶段用到的工具 * 序号 工具 需求 设计 实现 验证 发布 1 SDL过程模板和MSF-Aglie+SDL