小木虫

当前位置：首页 > 信息科学 >为什么说软件漏洞无法避免，有什么理论依据吗？

为什么说软件漏洞无法避免，有什么理论依据吗？

作者 iwdw2012: 来源: 小木虫 400 8 举报帖子

+关注

如题，感谢！返回小木虫查看更多

今日热帖

精华评论

基极电流

就好像你用整数或有理数去覆盖一条曲线，用整点、有理点去覆盖一张曲面一样，总会有无穷多个漏洞的。目前的软件，采用不稠密的有限或可数无限（循环）方法去防范各种可能攻击，怎么能没有漏洞？
iwdw2012

引用回帖:
2楼: Originally posted by 基极电流 at 2017-02-21 09:29:51
就好像你用整数或有理数去覆盖一条曲线，用整点、有理点去覆盖一张曲面一样，总会有无穷多个漏洞的。目前的软件，采用不稠密的有限或可数无限（循环）方法去防范各种可能攻击，怎么能没有漏洞？

是否有相关文献讨论软件的这种不完备性嗯
，
snowwhite1

程序运行的环境是复杂的，无法进行充分有限的测试。
iwdw2012

引用回帖:
4楼: Originally posted by snowwhite1 at 2017-02-21 20:31:01
程序运行的环境是复杂的，无法进行充分有限的测试。

非常感谢，请问有相关文献介绍吗
基极电流

引用回帖:
3楼: Originally posted by iwdw2012 at 2017-02-21 20:04:12
是否有相关文献讨论软件的这种不完备性嗯？...

我不知道。不过就算有，又有什么意义？除非你能找到使软件完备的充分条件。你要真找出来，那得个图灵奖应该没问题了，说不定可以得到XXX之父的名声，流芳百世了。
芒果TNT

建议搜索软件缺陷管理了解更多
iwdw2012

引用回帖:
6楼: Originally posted by 基极电流 at 2017-02-22 09:35:32
我不知道。不过就算有，又有什么意义？除非你能找到使软件完备的充分条件。你要真找出来，那得个图灵奖应该没问题了，说不定可以得到XXX之父的名声，流芳百世了。...

论文里想提一下，软件漏洞无法避免，所以想了解一下~