应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 程序算法 » 为什么说软件漏洞无法避免，有什么理论依据吗？
91/1返回列表
查看: 3316  |  回复: 8
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

iwdw2012

木虫 (著名写手)

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

如题，感谢！
回复此楼

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2017-02-19 10:27:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

基极电流

铁杆木虫 (正式写手)
★
小木虫: 金币+0.5, 给个红包，谢谢回帖
就好像你用整数或有理数去覆盖一条曲线，用整点、有理点去覆盖一张曲面一样，总会有无穷多个漏洞的。目前的软件，采用不稠密的有限或可数无限（循环）方法去防范各种可能攻击，怎么能没有漏洞？
赞一下(1人) 回复此楼
西湖太小
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 的主题更新
91/1返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[公派出国] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +3 5lbyq5wrhb 2026-02-07 3/150 2026-02-08 03:05 by vs90ilomwc
[考博] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +3 5lbyq5wrhb 2026-02-07 3/150 2026-02-08 02:52 by vs90ilomwc
[论文投稿] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +3 3rkserf6qr 2026-02-07 4/200 2026-02-08 02:45 by vs90ilomwc
[硕博家园] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +3 3rkserf6qr 2026-02-07 3/150 2026-02-08 02:32 by vs90ilomwc
[硕博家园] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +5 2h7du0nuhk 2026-02-07 5/250 2026-02-08 02:27 by vs90ilomwc
[考博] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +5 2h7du0nuhk 2026-02-07 5/250 2026-02-08 02:25 by vs90ilomwc
[硕博家园] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 5/250 2026-02-08 02:12 by vs90ilomwc
[考博] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 6/300 2026-02-08 02:07 by vs90ilomwc
[教师之家] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 6/300 2026-02-08 02:05 by vs90ilomwc
[考博] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:32 by vs90ilomwc
[教师之家] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:26 by vs90ilomwc
[硕博家园] 售SCI一区文章，我:8 O5 51O 54,科目齐全 +4 2h7du0nuhk 2026-02-07 7/350 2026-02-08 01:12 by vs90ilomwc
[教师之家] 有院领导为了换新车，用横向课题经费买了俩车 +7 瞬息宇宙 2026-02-04 7/350 2026-02-07 21:47 by tfang
[有机交流] 酰胺脱乙酰基 10+5 chibby 2026-02-03 12/600 2026-02-07 19:29 by 江东闲人
[基金申请] 有时候真觉得大城市人没有县城人甚至个体户幸福 +9 苏东坡二世 2026-02-04 10/500 2026-02-07 12:37 by 小毛球
[考博] 天津大学招2026.09的博士生，欢迎大家推荐交流（博导是本人） +4 a793625982 2026-02-05 5/250 2026-02-07 10:57 by a793625982
[公派出国] CSC & MSCA 博洛尼亚大学能源材料课题组博士/博士后招生｜MSCA经费充足、排名优 +4 雨念 2026-02-01 6/300 2026-02-06 23:32 by MelissaPon
[基金申请] 面上项目申报 +3 Tide man 2026-02-01 3/150 2026-02-05 22:56 by god_tian
[硕博家园] 博士延得我，科研能力直往上蹿 +7 偏振片 2026-02-02 7/350 2026-02-04 17:36 by 陈氏帝国
[教师之家] 遇见不省心的家人很难过 +18 otani 2026-02-03 22/1100 2026-02-04 11:06 by tangmnt
信息提示
关闭
请填处理意见
关闭