24小时热门版块排行榜    

查看: 3597  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[基金申请] 今天基金会出结果吗?20260819 +13 kkkl_v 2026-08-19 13/650 2026-08-19 22:37 by 宝贝虫子
[基金申请] 时间戳变了,能看出什么问题? +12 基诺咪客 2026-08-17 16/800 2026-08-19 22:04 by kk 的小木虫
[基金申请] filecode,4个jtjc了 +11 ziyangfang 2026-08-19 13/650 2026-08-19 21:28 by aasahr
[教师之家] 为什么余额宝的年化利率越来越低?主要原因有哪些? +5 瞬息宇宙 2026-08-15 5/250 2026-08-19 20:23 by super2002521
[基金申请] 今天放榜没戏了吧 +4 yuleib84 2026-08-19 5/250 2026-08-19 19:52 by hhs666
[基金申请] 今天放榜吗? +14 布布和一二 2026-08-19 15/750 2026-08-19 18:07 by gltch
[基金申请] filecode=后面第一个是大写字母 +10 wangze12014 2026-08-14 12/600 2026-08-19 16:56 by 苦难博士
[基金申请] 2027广东省杰青 +4 奶牛小黑 2026-08-15 10/500 2026-08-19 11:02 by wanfengnew
[基金申请] 朋友圈看到的 +6 wangzilk 2026-08-18 8/400 2026-08-19 10:55 by Haru815
[基金申请] 快农历七夕节了,轻松一下,男人悄悄话,女施主请不要进来。 +6 Tide man 2026-08-14 7/350 2026-08-19 09:56 by ZJTJZ
[基金申请] 什么时候开奖? +6 CrisMessi 2026-08-18 6/300 2026-08-19 08:06 by Equinoxhua
[基金申请] 明天放榜? +5 Shxjjxjkx 2026-08-18 5/250 2026-08-18 18:14 by -大大大大大-
[论文投稿] 投稿咨询 +4 wwm09 2026-08-17 6/300 2026-08-18 15:36 by wwm09
[基金申请] 时间戳又变了8-15 +14 archvillain 2026-08-15 26/1300 2026-08-18 13:37 by phantomgost
[基金申请] 今天维护系统维护 祝所有人 高中 +8 gjjjzhong 2026-08-18 9/450 2026-08-18 13:01 by 家与远方
[基金申请] 哪位老哥知道今年的国自然具体哪一天放榜? +13 Ldrop2023 2026-08-13 16/800 2026-08-18 12:25 by 淀粉搬运工
[基金申请] 93BebMhtakh前后11位开头都是大写 +4 且听虎啸 2026-08-17 5/250 2026-08-18 00:49 by 蔡棒棒菂
[基金申请] 感觉是下周放榜了 +6 angus9576 2026-08-17 11/550 2026-08-17 23:57 by angus9576
[基金申请] 今天系统多次维护,明天很可能放榜! +8 zju2000 2026-08-16 9/450 2026-08-17 12:20 by lmz0216
[精细化工] 招聘 金属平磨液,抛光液研发工程师 +3 小天0311 2026-08-14 3/150 2026-08-16 07:31 by H9PLUS
信息提示
请填处理意见