24小时热门版块排行榜    

查看: 3252  |  回复: 8

iwdw2012

木虫 (著名写手)

[交流] 为什么说软件漏洞无法避免,有什么理论依据吗? 已有3人参与

如题,感谢!
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

基极电流

铁杆木虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
就好像你用整数或有理数去覆盖一条曲线,用整点、有理点去覆盖一张曲面一样,总会有无穷多个漏洞的。目前的软件,采用不稠密的有限或可数无限(循环)方法去防范各种可能攻击,怎么能没有漏洞?
西湖太小
2楼2017-02-21 09:29:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

iwdw2012

木虫 (著名写手)

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

是否有相关文献讨论软件的这种不完备性嗯?
3楼2017-02-21 20:04:12
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

snowwhite1

木虫 (小有名气)


小木虫: 金币+0.5, 给个红包,谢谢回帖
程序运行的环境是复杂的,无法进行充分有限的测试。

发自小木虫Android客户端
奋斗
4楼2017-02-21 20:31:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

iwdw2012

木虫 (著名写手)

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

非常感谢,请问有相关文献介绍吗
5楼2017-02-21 21:01:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

基极电流

铁杆木虫 (正式写手)


小木虫: 金币+0.5, 给个红包,谢谢回帖
引用回帖:
3楼: Originally posted by iwdw2012 at 2017-02-21 20:04:12
是否有相关文献讨论软件的这种不完备性嗯?...

我不知道。不过就算有,又有什么意义?除非你能找到使软件完备的充分条件。你要真找出来,那得个图灵奖应该没问题了,说不定可以得到XXX之父的名声,流芳百世了。
西湖太小
6楼2017-02-22 09:35:32
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

芒果TNT

新虫 (小有名气)


小木虫: 金币+0.5, 给个红包,谢谢回帖
建议搜索 软件缺陷管理  了解更多

发自小木虫Android客户端
7楼2017-02-22 11:54:59
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

iwdw2012

木虫 (著名写手)

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

论文里想提一下,软件漏洞无法避免,所以想了解一下~
8楼2017-02-22 14:16:57
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

iwdw2012

木虫 (著名写手)

引用回帖:
7楼: Originally posted by 芒果TNT at 2017-02-22 11:54:59
建议搜索 软件缺陷管理  了解更多

谢谢
9楼2017-02-22 14:17:10
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 iwdw2012 的主题更新
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见