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

24小时热门版块排行榜    

Znn3bq.jpeg
小木虫论坛-学术科研互动平台 » 专业学科区 » 信息科学 » 程序算法 » 为什么说软件漏洞无法避免，有什么理论依据吗？
91/1返回列表
查看: 3397  |  回复: 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返回列表
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[教师之家] 山东双非院校考核超级无底线，领导幸灾乐祸，教师遭殃恐 +3 qut2026 2026-04-11 4/200 2026-04-12 16:32 by aheyingwhg
[考研] 电子信息270求调剂 +18 terminal469 2026-04-07 18/900 2026-04-12 16:23 by ajpv风雷
[考研] 305求调剂 +7 玛卡巴卡boom 2026-04-11 7/350 2026-04-12 07:35 by zhouxiaoyu
[考研] 269电子信息求调剂，可转专业 +11 独酌wl 2026-04-06 11/550 2026-04-11 11:12 by 逆水乘风
[考研] 0854求调剂 +7 assdll 2026-04-05 7/350 2026-04-11 10:34 by Delta2012
[考研] 275求调剂 +9 1624447980 2026-04-08 10/500 2026-04-11 10:20 by Delta2012
[考研] 0854调剂 +4 长弓傲 2026-04-09 4/200 2026-04-11 09:18 by 猪会飞
[考研] 考研调剂 +26 硕星赴 2026-04-09 27/1350 2026-04-10 22:24 by 猪会飞
[考研] 263能源动力专硕求调剂 +4 加大号饭盒袋 2026-04-10 4/200 2026-04-10 20:52 by gong120082
[考研] 362求调剂 +10 我要考大 2026-04-06 14/700 2026-04-10 17:00 by luoyongfeng
[考研] 本科211 工科085400 280分求调剂 可跨专业 +3 LZH（等待调剂中 2026-04-09 3/150 2026-04-09 21:29 by wutongshun
[考研] 求调剂希望还是希望在山河四省附近 +3 快乐的小白鸽 2026-04-05 3/150 2026-04-09 17:36 by wp06
[考研] 332，085601求调剂 +12 ydfyh 2026-04-09 14/700 2026-04-09 17:28 by wp06
[考研] 085400电子信息类（川大控制工程）求调剂可跨专业 求老师联系 +3 626776879 2026-04-08 3/150 2026-04-09 16:05 by 猪会飞
[考研] 368化学求调剂 +13 wwwwabcde 2026-04-07 14/700 2026-04-09 14:47 by heaven_jay
[考研] 275 求调剂 +8 Lei812514 2026-04-07 8/400 2026-04-08 12:46 by chemisry
[考研] 304求调剂 +10 素年祭语 2026-04-06 17/850 2026-04-08 09:05 by 蓝云思雨
[考研] 338求调剂 +5 小猪红色 678 2026-04-06 6/300 2026-04-07 21:18 by 乔哒哒哒
[考研] 333求调剂 +6 合乘杨习夕 2026-04-06 6/300 2026-04-07 09:44 by 猪会飞
[考研] 085100建筑学 寻求跨专业调剂 一志愿南大294分 校级省级国家级奖项若干 踏实肯干 +3 1021075758 2026-04-06 4/200 2026-04-07 09:23 by 蓝云思雨
信息提示
关闭
请填处理意见
关闭