2016安全测试.pptVIP

下载本文档

8
0
约7.66千字
约 43页
2016-12-19 发布于北京
举报
版权申诉

2016安全测试.ppt

1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击这里二次下载。
3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
7、VIP文档为合作方或网友上传，每下载1次，网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档

形式化测试来源实际测试过程中，测试和证明是互补的，测试要揭示系统中错误，但不能保证系统是正确的，证明受限于在假设环境中关于行为的结论，不是完全可靠的，即使得到形式化证明的系统或不见，也不能说明系统没有错误，所以，形式化测试技术可以为安全保密设备提供高安全性保证。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 形式化测试形式化方法形式化方法能精确的、无二义的描述对象，形式化规格说明语言的分类 1.基于模型的，有Z、VDM和B等 2.基于有限状态的，有有限状态机和SDL等。 3.代数语言，有OBJ等 4.混合语言，有离散和连续数学的规格说明语言等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 软件安全测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 软件安全范围网络安全信息安全物理安全通信安全无线安全社会工程 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 物理安全访问控制测试边围检查监视检查报警相应测试本地检查环境检查 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 网络安全网络测量端口扫描系统鉴定服务鉴定弱点研究与验证网络应用安全 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 网络安全路由测试防火墙测试入侵检测系统测试信赖系统测试密码破解拒绝服务测试牵制度量测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 信息安全文档磨损竞争活动隐私检查 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 社会工程请求测试指导建议测试信赖测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 无线安全无线网络测试无线通讯测试隐私检查红外系统测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 通信安全交换机测试有声MAIL测试 FAX检查调制解调器测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 软件安全测试主要方法猜错法测试模糊测试语法测试故障注入故障树测试形式化测试模型测试 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 猜错法测试简介基于猜错法的安全测试方法依据经验、直觉和对被测试系统的探索兴趣，在按规则生成的测试用例集之外添加一些“另类”的用例，运用这