0

漏洞

漏洞知识专题栏目,提供与漏洞相关内容的知识集合,希望能快速帮助您找到有用的信息以解决您遇到的漏洞问题。

分享

浏览

6752

文章

283

港股实名制”正式落地 堵住“一人多户打新”等漏洞 此举具体意义有哪些?

全文共 595 字

+ 加入清单

实名制的落地是香港市场监管的重要举措,具有重要的意义和影响,它将有助于提高市场公平性和透明度,加强投资者保护,同时也有助于提升香港市场的国际竞争力。近日,香港证监会宣布“港股实名制”正式落地,这一举措旨在堵住“一人多户打新”等漏洞,保护投资者合法权益,此举具体意义不容小觑。

实名制能够有效防范“一人多户打新”的问题,在过去,一些投资者通过虚假身份信息申请多个账户,利用这些账户进行打新,获得高额回报,这种行为不仅影响市场公平性,也损害了其他投资者的利益。实名制的实施,将要求投资者提供真实身份信息,减少了这种行为的发生。实名制有助于提高市场透明度,投资者的真实身份信息被记录在交易系统中,监管部门可以更加精准地监管市场,发现和防范潜在的市场操纵和内幕交易等违法行为,同时,投资者也可以更加清晰地了解市场的行情和动态,提高投资决策的准确性。

实名制可以加强投资者保护,在实名制下,投资者的身份信息被记录在交易系统中,投资者的合法权益可以得到更好的保护。如果发生交易纠纷或者投资者受到欺诈行为的侵害,监管部门可以通过身份信息追踪相关责任人,提高投资者维权的效率和成功率。

实名制有助于提升香港市场的国际竞争力,随着全球金融市场的日益开放和竞争加剧,各国市场都在加强监管和保护投资者的措施。实名制的落地,将使香港市场更加规范和透明,提高国际投资者的信心和参与度,进一步巩固香港作为国际金融中心的地位。

展开阅读全文

《星际穿越》有哪些科学漏洞?

全文共 2402 字

+ 加入清单

星际穿越》的主要亮点之一是这部电影给出了历史上最真实的黑洞模拟,而这个模拟的创造者是著名的物理学家基普·索恩。根据索恩的说法,这些模拟数据足以让他发表两篇论文。许多评论家也称赞它是“最科学的科幻电影”。

然而,虽然索恩负责模拟黑洞本身,但电影其他部分的科学并不是无懈可击的。

罗伯特·特洛塔,天体物理学家,伦敦帝国学院高级讲师

“主飞船耐力的设置相当不错。绕轴旋转为长途旅行提供了重力,这很好。窗户的位置和光影的旋转之间的关系做得很好。不过,我想批评一点:油箱是看不见的。要在星际空间旅行,你需要大量的燃料,而且飞船的大部分质量应该被燃料占据。很难想象永恒会如何被推进。当他们到达土星时,问题很明显:如何减速?你必须在宇宙飞船前安装一个大火箭,和你开始用来加速的火箭一样大。就这么简单,否则你会错过这个星球并直接经过。电影中的反向火箭太小了。

环形航天器是标准的长途旅行设备,但考虑到燃料需求,这还是太小了。

照片来源:《星际争霸》的剧照

“此外,在我看来,两年后到达土星& hellip& hellip有点短。如果使用最省油的方法,大约需要4.7年,而且必须是在行星处于最佳位置的时候。新视野号探测器只花了2年零4个月就到达了土星,但那是因为这个家庭的目的地是冥王星,飞越土星时没有必要减速。如果你想停在土星,那将需要更多的时间,因为你必须踩刹车才能进入轨道。

“黑洞的视觉效果——一团发光物质围绕着它,并逐渐被重力吞噬——是相当合理的。但是如果你进入这个区域,你要么被燃烧的伽马射线杀死,要么被重力撕裂。当你离黑洞很近的时候,脚底的重力会比头顶的大得多,所以你会被撕成一层薄薄的意大利面条。

2.5种在黑洞中死亡的方法。视频来源:徐瑞琪

“这部电影的数学外衣相当不错——例如,黑板上的公式实际上是教科书中的广义相对论公式,极客们看到它时一定会觉得很酷。后来,剧本说这些公式会失败,因为科学家们还不明白重力和量子机制是如何一起工作的,这也是公平的。但是这部电影对这个问题的解决方案仅仅是把一个机器人送到黑洞去发回“量子数据”——就这样?这说不通。听起来他们只是为了推进剧情而编造的。这背后没有真正的物理学。”

虽然公式正确是件好事,但除了大学课堂,没有其他场合需要把基本公式写在黑板上& hellip& hellip

照片来源:《星际争霸》的剧照

菲尔·普莱特,天文学家,著名天文学博客“坏天文学”的博主

“在这部电影中,美国宇航局几十年来都没有得到像样的资助。他们怎么能发射几十艘载人飞船?恐怕每艘船要花费数千亿美元。令人难以置信的是,这些宇宙飞船是从办公楼附近的地下竖井发射的。我们不知道为什么宇宙飞船必须载人并且不能完全自动控制,也不知道为什么返回的数据只能是低带宽和少量信息。在我看来,这只是一个粗糙的情节道具,库葩和他的工作人员不得不亲自去看一看。

编者按:事实上,美国宇航局的资助只是电影《hellip& hellip但是,如果美国政府突然意识到,即使军队已经离开,它也愿意全力支持太空计划,那会怎么样呢?即使这是一个美丽的理想。

“库珀成功地驾驶宇宙飞船穿过虫洞,在另一边他们发现了三颗行星——不知何故他们包围了一个黑洞。看到这里我长叹一声。这些行星从哪里获得热和光?似乎没有星星。热量当然不是来自黑洞本身,因为下一个库珀(不可避免地)将进入黑洞,他不会被煮熟。所以这些行星附近显然没有热源,但不知何故它们是可居住的。

“其中一颗行星离黑洞如此之近,以至于有很强的时间扭曲。地表上的一小时等于地球上的七年。我认识的几位天体物理学家都认为,在这个距离,黑洞的潮汐力应该足以摧毁行星,但实际的数学推导结果仍不清楚。他们仍在计算这个问题。

我什么都明白,但是为什么行星离黑洞这么近?照片来源:《星际争霸》的剧照

“船员们在行星表面发现了周期性的巨浪。海浪还没有被解释。这可能是黑洞引起的潮汐力——但我担心这个星球很久以前就应该被潮汐锁定,永远面对黑洞。这意味着在面对黑洞和远离黑洞的两个方向上会有巨大的海水凸起,但是这些凸起不会相对于地球表面移动,所以不会有波浪。”

罗伯特·纳伊,天文学家,《天空与望远镜》杂志主编

“我最大的科学观点是当船员到达其他星系时。显然没有足够的燃料去拜访所有的行星,但是肉体必须亲自去。这引起了船员们有趣的讨论,因为他们必须决定参观哪个星球以及参观的顺序。但实际上,未来的宇航员将首先安装望远镜从远处研究行星大气。利用光谱学,他们可以快速有效地确定哪个星球的环境更适合人类居住。事实上,如果国会愿意出资,美国宇航局将能够在未来十年内在地球上建造这样一个望远镜——“地球行星探测器”(TPF)。如果库珀的团队在飞船上安装了类似的望远镜,他们就不必在前两个行星上浪费时间了。当然,省略着陆意味着失去&hellip,这是情节中最戏剧性的时刻。& hellip

“电影制作人花了大量时间渲染科学上精确的黑洞,包括光的弯曲。但他们似乎忽略了多普勒效应和相对论束效应。吸积盘围绕黑洞快速旋转,其中一些总是朝着观察者飞去,另一些远离观察者,飞行的物质应该看起来更蓝更亮。尽管这部电影展示了一个明亮的吸积盘,但没有明显的吸积物质来源(如附近的恒星)。”

在我们看来,吸积盘发出的光实际上是不对称的:因为热气绕黑洞的速度太快,如果图中的气体在平面图中逆时针旋转,左边的气体会向我们靠近,右边的气体会离开我们。该图仅显示了相对论性光束效应(明暗变化),没有显示多普勒效应(红色和蓝色变化)。

来源:克里斯·雷诺兹

但总而言之,吐出来属于吐出来,而欣赏属于欣赏。为了情节,好莱坞商业电影不可避免地会遇到科学的界限。它有如此多的抱怨仅仅是因为它涉及太多的科学内容——毕竟,正如天体物理学家尼尔·德格拉斯·泰森所说,它展示了最佳的零重力、时间稀释和空间扭曲,更不用说虫洞和黑洞了。或者,正如罗伯特·特罗夏承认的,“这是一项艰苦的工作!”

展开阅读全文

车牌识别系统有漏洞吗

全文共 581 字

+ 加入清单

有人问到车牌识别系统漏洞吗?可以做到万无一失吗?其实没有一款安防系统是可以达到十全十美的,车牌识别系统也是有一定的漏洞,但是我们要找到车牌识别系统的缺点之处,避免发生意外,下面为大家介绍关于车牌识别系统这类的智能家居小知识。为大家找到车牌识别系统的漏洞在哪。

1.系统功能有限(只认有卡车,局限性大);

2.后期成本高(车载蓝牙卡对于用户大的小区,每车一个的话数量会直接提高成本,而且用久了会没电,失灵等需要更换的情况);

3.安全性低(看似稳定识别业主,其实认卡不认车的系统只要有卡谁的车都一样放,而卡是可以轻松取下交接。另外,现在复制蓝牙卡太容易了。)

4.管理和收费漏洞(没有注册卡的车辆只能依靠人工,系统只认识卡不认识车这些因素可以有太多歪脑筋可以动。比如我用别人的蓝牙卡给没卡的车开门,本来外来车的停车费就可以贪污,偷逃费用,私自放行)

那么来说说车牌识别系统。出入口安装车牌识别相机,车子开进摄像机拍摄范围,触发拍照,通过识别车牌号码作为判断放行的依据。

缺点:设备安装环境有要求,毕竟摄像头固定方向拍照,需要固定一个角度使得所有通过这里的车辆的前车牌都能被拍到。识别技术做不到百分之百就意味着会有识别错的时候。设备贵些,但是不用重复去买大量的卡,其实差不多。

我们在使用车牌识别系统的时候,要先全面的掌握车牌识别系统的使用方法,要做到在使用的时候不出任何意外。

展开阅读全文

计算机系统漏洞会导致泄露信息吗

全文共 412 字

+ 加入清单

系统漏洞是指应用软件或操作系统软件在逻辑设计上的缺陷或错误,被不法者利用,通过网络植入木马、病毒等方式来攻击或控制整个电脑,窃取电脑中的重要资料和信息,甚至破坏系统。在不同种类的软、硬件设备,同种设备的不同版本之间,由不同设备构成的不同系统之间,以及同种系统在不同的设置条件下,都会存在各自不同的安全漏洞问题。那么计算机系统漏洞会导致泄露信息吗?下面为大家介绍一下。

漏洞会影响到的范围很大,包括系统本身及其支撑软件,网络客户和服务器软件,网络路由器和安全防火墙等。换而言之,在这些不同的软硬件设备中都可能存在不同的安全漏洞问题。在不同种类的软、硬件设备,同种设备的不同版本之间,由不同设备构成的不同系统之间,以及同种系统在不同的设置条件下,都会存在各自不同的安全漏洞问题。

个人信息在计算机上泄露以后是比较危险的,所以我们在日常中要知道如何安全使用计算机防信息泄露,这样才会更多的保护自己的安全,更多的信息泄露安全小知识尽在。

展开阅读全文

发现手机系统漏洞怎么处理

全文共 739 字

+ 加入清单

日常手机网络安全应该如何保护呢?日常手机网络安全的保护应该从手机发现系统漏洞处理方法来入手,那么发现手机系统漏洞怎么处理呢?给出了这个问题的答案。如果您也想更好的处理手机系统漏洞,您不妨登录来找出这个问题的答案哦。

尽最大努力向广大用户提供安全可靠的产品服务是腾讯公司一贯的主张,在每个手机软件新版本正式发布前,手机产品研发团队都会实施完整的内部测试和试用流程,确保将最完善的产品提供给广大用户。

同时,手机软件安全组鼓励用户及时向我们报告发现的手机软件问题或漏洞,手机软件开发团队将及时响应,对用户报告的问题进行测试验证,并根据问题的具体情况及时更新软件。腾讯为了向广大手机用户及时提供安全和丰富的在线服务,手机软件一直连续的定期推出新版本。您可以定期访问手机软件下载中心下载最新的手机版本,保持手机软件至最新版本状态可以有效避免使用存在手机漏洞的软件版本。

如果您不想重新下载或重新安装手机,也可以通过手机软件在线更新服务,修复手机软件已知的问题和漏洞。对于重要的软件关键更新,系统会在手机登录前提示进行更新,您也可以定期手动点击“在线升级”查询软件当前提供的更新。

操作系统漏洞是指计算机操作系统(如WindowsXP)本身所存在的问题或技术缺陷,操作系统产品提供商通常会定期对已知漏洞发布补丁程序提供修复服务。根据手机软件安全组对流行盗号木马病毒的分析数据显示,部分盗号木马病毒能够利用某些操作系统漏洞侵入用户计算机,伺机盗取手机密码。即使计算机杀毒软件能够及时清除盗号木马,盗号木马仍可以再次利用系统漏洞反复入侵您的计算机。因此,我们强烈建议您定期检查修复操作系统漏洞。检查及修复操作系统漏洞的方法如下:

网络安全小知识回答了发现手机系统漏洞怎么处理的问题,想知道吗?请登录。

展开阅读全文

怎样检测手机系统漏洞

全文共 528 字

+ 加入清单

所谓手机漏洞,指的是手机系统、或手机应用由于种种原因可被不法分子利用、容易使手机受到攻击的缺陷,那么,怎样检测手机系统漏洞呢?怎样安全使用网络预防电脑病毒呢?今天我们就跟随一起来了解关于这方面的网络病毒小知识吧。

第一,前往360官网下载并安装“360透视镜”,360透视镜目前的最新版为1.0,大小为2.8M,安装成功后,点击手机桌面的图标打开“360透视镜”,打开“360透视镜”的主界面后,点击界面正中的“立即扫描”,扫描完成后,将会给出扫描到的漏洞数量,以及手机的厂商、型号等相关信息,随后,我们便可以在结果页的下方查看到漏洞详情。

第二,一般来说,漏洞按危害等级可以分为三个级别:严重漏洞、高危漏洞、中危漏洞,其中,严重漏洞代表最危险的漏洞,我们可以点击扫描后该漏洞编号右侧的向下箭头展开它的描述信息,查看相关说明,然后,再点击顶部的导航栏切换到“高危漏洞”以及“中危漏洞”项,以便查看相应的说明,查看完毕后,我们可以点击界面底部的小云朵图标将自己手机的漏洞信息上报,以便厂商尽快得到反馈,及时发布补丁修复相应的漏洞。

综上所述,用户可以使用360的透视镜来检测手机系统漏洞,但是就目前来说,360透视镜只能检测手机的系统漏洞,却无法修复手机系统漏洞。

展开阅读全文

电脑需要修复漏洞吗

全文共 524 字

+ 加入清单

我们在使用电脑的过程中,往往会看到电脑中安装的安全卫士提醒说电脑中存在漏洞,有时候是几十个,有时候,甚至高达几百个,看上去很恐怖,那么,电脑需要修复漏洞吗?怎样安全使用网络预防电脑病毒呢?今天我们就跟随一起来了解关于这方面的网络病毒小知识吧。

第一,漏洞该不该全部修复是一个比较有争议的话题,虽然修复漏洞可以提高系统安全性,这是毋庸置疑的,但是作为个人用户的话,其实可以不用修复,除非用户想尝试官方新增的某些功能,因为修复了漏洞以后,电脑运行会变得慢,这些补丁会占用电脑的空间和内存,所以下载补丁要谨慎。

第二,目前一些简单的杀毒软件完全可以拦截一些常见攻击,再者得确定自己有足够的被攻击价值,而且有一些值得窃取的东西,如果平时只是单纯地拿电脑玩游戏,听音乐,看电影,购物等那么大可忽略那些漏洞,但如果身居要职,负责公司的某重大项目,当然这些得自己权衡了,如果是企业用户或有涉及商业机密或者高商业价值的电脑那肯定得推荐修复。

综上所述,用户的电脑是否需要修复漏洞,端看用户电脑的用途,假如只是用来玩游戏、娱乐等,那么其实没有必要下载补丁安装,因为如此一来,就会影响电脑的运行速度,但假如电脑中有重要的文件,对于黑客而言有被攻击的价值,那么最好是修复一下。

展开阅读全文

系统漏洞产生的原因是什么

全文共 665 字

+ 加入清单

面对经常更新的系统漏洞,很多人会产生疑问。那系统漏洞产生的原因是什么?了解网络安全常识,首先就要了解计算机网络安全有哪些基本注意事项,下面小编就带您认识一下吧。

系统漏洞是指受限制的计算机、组件、应用程序或其他联机资源的无意中留下的不受保护的入口点。漏洞是硬件软件或使用策略上的缺陷,他们会使计算机遭受病毒和黑客攻击。

漏洞特性

系统漏洞是在硬件、软件、协议的具体实现或系统安全策略上存在的缺陷,从而可以使攻击者能够在未授权的情况下访问或破坏系统。具体举例来说,比如在IntelPentium芯片中存在的逻辑错误,在Sendmail早期版本中的编程错误,在NFS协议中认证方式上的弱点,在Unix系统管理员设置匿名Ftp服务时配置不当的问题都可能被攻击者使用,威胁到系统的安全。因而这些都可以认为是系统中存在的安全漏洞。

漏洞与具体系统环境之间的关系及其时间相关特性

漏洞会影响到很大范围的软硬件设备,包括作系统本身及其支撑软件,网络客户和服务器软件,网络路由器和安全防火墙等。换而言之,在这些不同的软硬件设备中都可能存在不同的安全漏洞问题。在不同种类的软、硬件设备,同种设备的不同版本之间,由不同设备构成的不同系统之间,以及同种系统在不同的设置条件下,都会存在各自不同的安全漏洞问题。

关于网络安全小知识,小编为您介绍和普及这么多了,看完上面的介绍,您对“系统漏洞产生的原因是什么”这个问题了解多少了呢?综上我们可以看到,系统漏洞产生的主要原因就是程序上的问题,所以一旦出现程序问题,就有可能影响到我们的上网安全,对我们的财产也是一种威胁。

展开阅读全文

常见的操作系统漏洞有哪些

全文共 961 字

+ 加入清单

我们都知道电脑系统漏洞是普遍存在的,但是您听说过常见操作系统漏洞吗?常见的操作系统漏洞有哪些?了解网络安全常识,首先就要了解计算机网络安全有哪些基本注意事项,下面小编就带您认识一下吧。

1、DOS

简介

DiskOperatingSystem又称DOS(简写),中文全名“磁盘操作系统”。

优点

1快捷,熟练的用户可以通过创建BAT或CMD批处理文件完成一些烦琐的任务。

2速度快,安全,价格便宜。

缺点

1日常应用功能不丰富,(没有图形界面)命令行操作不直观,对设备的支持比较少

2很多设备的大部分程序都不能在DOS环境下执行。

2、Windows

简介

发行于2001年10月25日,原来的名称是Whistler。2011年7月初,微软表示将于2014年春季彻底取消对Windowsxp的技术支持。

优点

1图形界面良好,拥有良好的集成开发环境,操作简单。提供了一个可伸缩的高性能平台。

2整合常见应用软件,简单,快捷,方便。适合电脑城销售人员及维修商快速装机。

缺点

1.系统更新落后,漏洞较多,不稳定,易受病毒和木马的攻击;

2.自带软件版本较低,需要自行卸载升级;

3.所有软件和程序预装在C盘,加重系统负担,即使卸载,仍有残余大量垃圾碎片文件,容易拖慢系统。

3、UNIX

简介

UNIX是一个强大的多用户、多任务操作系统,支持多种处理器架构,按照操作系统的分类,属于分时操作系统。

优点

1由于附带源代码,用户可以分析它,更改它。文件系统小巧,简单。

2将所有的设备用文件表示,可使用与处理文件相同的命令和系统调用集访问设备。3具有可移植性。

缺点

1UNIX系统的标准1/O库相对其底层的系统调用接口已变得越来越复杂了。

2传统的UNIX内核不够灵活,不具备很好的可扩充性,也很少代码复用的设施。

4、Linux

简介

Linux是一种自由和开放源码的类Unix操作系统。可安装在各种计算机硬件设备中。世界上运算最快的超级计算机运行的都是Linux系统。

优点

1安全、易维护、稳定。

2软件自由/开源

3低成本-大多数

4透明公开-绝大多数GNU/Linux是开放开发的。

缺点

1缺失的应用软件和游戏-您会失去一些熟知的应用程序。

2缺少硬件支持-绝大多数硬件是支持的,但不是全部

3寻求帮助更难-通常朋友、家人、同事不能帮您解决GNU/Linux相关问题,所以您需要在线获取帮助。

展开阅读全文

如何查找手机安全漏洞

全文共 764 字

+ 加入清单

手机找回功能是一种安全机制,用来保证在手机丢失和被盗后不会被刷机或恢复出厂设置。某些华为手机的手机找回功能可被绕过。攻击者可以通过特定的操作步骤绕过手机找回,进入手机系统设置页面。以上这些都属于安全漏洞,如何查找手机安全漏洞?日常手机网络安全应该如何保护?一起和看看吧。

由于智能手机可能存在用户数据操作防护不足、操作系统不安全更新、预置应用软件收集用户隐私和耗费资费、后端信息系统信息安全漏洞等质量安全隐患,若消费者使用不当或超预期使用,可能导致个人隐私信息泄露、财产损失等严重危害。

拥有巨大信息量的云平台应该如何保障信息安全是一个关键问题。目前,其防卫手段主要有身份鉴别与权限控制,主要通过设置密码与向用户发送验证码信息来实现。但是这两个守护信息的门槛存在一定的漏洞。有调查发现:存在部分云平台没有对密码强度进行严格要求或者没有及时地向用户发送验证码短信。如果有不法分子利用了这些漏洞,用户的信息将被泄漏。

选购使用智能手机四个注意

质检总局提示广大消费者,在选购和使用智能手机时,要注意以下几点:

1、选择正规渠道购买智能手机产品,选购时应认准有入网许可证标志的产品;在互联网平台购买时,尽量选择品牌官网或者官方旗舰店,并保留购买记录、发票等有效凭证。

2、选购智能手机前可以看其中预置应用是否有相应收集用户隐私的提示,若涉及消费者隐私信息的安全问题,可以询问清楚。

3、增强对隐私信息保护的意识,在购买、使用移动智能终端产品和接受相关服务时,仔细查看相关说明和厂商声明,充分了解选购产品和服务的各项功能,注意和防范用户信息可能泄漏的风险,审慎考虑厂商收集、保存和使用用户信息的要求,根据自己实际情况和意愿做出购买和选择决定。

所以我们在选购智能手机的时候一定要谨慎,防止有漏洞泄露自己的信息,多学习网络安全小知识,保护自己的信息安全。

展开阅读全文

苹果系统漏洞是真的吗

全文共 510 字

+ 加入清单

苹果系统漏洞是真的吗?除了苹果发布的最新版本操作系统,此前的所有版本的iOS或OSX都存在共同的安全漏洞,只要你发送一条默认的iMessage信息,黑客就可以侵入你的设备。计算机网络安全有哪些基本注意事项?一起和看看吧。

当你接收都被感染的文件时,恶意代码就会在目标设备上执行,让黑客可以访问你设备的内存,并获得储存的密码。受害者甚至没有机会预防这种攻击。同样的攻击还可通过电子邮件或诱使用户使用苹果浏览器Safari访问含有病毒图片的网站发动。

这个漏洞的影响将是惊人的。苹果公布数据显示,其14%iOS设备运行iOS8以及更早版本的操作系统。而苹果拥有超过6.9亿部激活的iOS设备,这意味着至少9700万部运行苹果移动操作系统的设备容易受到黑客袭击。这还未计算没有运行最新iOS9系统的移动设备和Mac。苹果宣称,全球激活设备超过10亿部,但是没有透露更多细节。

苹果的安全问题被与谷歌移动操作系统安卓去年发现的漏洞Stagefright相提并论。后者也依靠发送感染图片传播,大约9.5亿部安卓设备暴露在危险之中。

由此看来苹果手机也是存在漏洞的,只要我们正确的操作网络一般是不会被黑客入侵的,多学习网络安全小知识很重要。

展开阅读全文

高危系统漏洞无法修复吗

全文共 563 字

+ 加入清单

高危漏洞就是指软件本身出现极其严重的漏洞,这些漏洞很容易被病毒、木马、黑客等侵入,导致软件崩溃或者盗取重要信息、密码等。高危系统漏洞无法修复吗?计算机网络安全有哪些基本注意事项?一起和看看吧。

高危系统漏洞失败的原因主要有:

1、部分补丁需要重新启动计算机才会真正生效。

解决办法:重新启动计算机。

2、缺少必要的文件会导致MS-Office漏洞修复失败。这可能是软件本身安装不完整,或某些文件已被删除。

解决办法:重新安装Office软件。

3、开启某些防护类软件可能导致修复失败。

解决办法:暂时关闭防护类软件。

4、其它意外的情况导致修复失败。

解决办法:暂时忽略反复修复失败的漏洞,隔一段时间后再次修复。

5、网络连接不正常,无法下载补丁

解决办法:连好网络后再次安装补丁。

系统漏洞主要指操作系统中因Bug或疏漏而导致的一些系统程序或组件存在的后门。木马或者病毒程序通常都是利用它们绕过防火墙等防护软件,以达到攻击和控制用户个人电脑的目的。所以为了系统的安全和稳定,及时下载安装补丁、修复系统漏洞非常必要。

漏洞补丁一般分为独占补丁和非独占补丁两类。独占补丁需要进行单独安装,安装完必须重新启动;而非独占补丁

可以一起下载和安装,全部装完后再重新启动计算机。

高危系统是可以修复的,我们在使用计算机的时候要时刻注意网络安全,多学习网络安全小知识。

展开阅读全文

微信哪些漏洞会泄露个人信息

全文共 625 字

+ 加入清单

微信(wechat)是腾讯公司于2011年1月21日推出的一个为智能终端提供即时通讯服务的免费应用程序,微信现在非常受到人们的喜爱,那么微信哪些漏洞泄露个人信息呢?接下来的小编为您介绍。

微信支持跨通信运营商、跨操作系统平台通过网络快速发送免费(需消耗少量网络流量)语音短信、视频、图片和文字,同时,也可以使用通过共享流媒体内容的资料和基于位置的社交插件“摇一摇”、“漂流瓶”、“朋友圈”、”公众平台“、”语音记事本“等服务插件。

微信提供公众平台、朋友圈、消息推送等功能,用户可以通过“摇一摇”、“搜索号码”、“附近的人”、扫二维码方式添加好友和关注公众平台,同时微信将内容分享给好友以及将用户看到的精彩内容分享到微信朋友圈。

微信的信息平台非常的方便,但是也会有危险的情况存在,在微信支付、微信红包、微信点赞、微信投票等方面会存在着个人信息的安全隐患,小编建议大家一定要度这些功能进行隐秘的保护。

对于不遵守平台规则,乱使用“原创声明”功能的恶意和违规行为,一经发现和被举报,微信公众平台将永久回收其“原创声明”功能,且进行阶段性封号处理。为了推动微信公众平台产出更多优质原创文章,微信公众平台已上线了“原创声明”功能,旨在解决原创文章版权标识。首轮公测只对通过微信认证的媒体号开放。

通过我们小编为您整理介绍的这些知识,您是否掌握了呢?如果您还想了解更多的如何预防社交软件信息泄露方面的详情,以及信息泄露安全小知识,可以登录我们查询,我们期待您的关注。

展开阅读全文

系统漏洞用什么修复工具好

全文共 1073 字

+ 加入清单

对电脑进行扫描的时候都会出现相关的系统漏洞,所以修复系统漏洞很重要,那系统漏洞用什么修复工具好?了解网络安全常识,首先就要了解计算机网络安全有哪些基本注意事项,下面小编就带您认识一下吧。

一、WindowsRepair

WindowsRepair是一款全能型系统修复工具,打开这个软件后,能将你的Windows恢复到初始设置。可以帮你解决诸如注册表权限问题、IE、自动更新、防火墙等等一系列故障。是一个向导式的界面,上面有step1、step2等步骤。

功能介绍

1、系统自动修复:用它可以智能安全地自动修复被非法软件篡改的系统设置,比如IE被禁用、主页设置被禁用、文件夹选项被禁用、注册表被禁用等。

2、进程管理:强大的进程管理功能,包括加载模块的分析(系统模块、嵌入模块、自起动模块等全方面的诊断和分析),线程的分析,系统入口SSDT的恢复,原始API的恢复,进程和线程的强制中止,文件的强制删除等。

3、自动起动项分析:分析注册表、自起动文件夹、服务、驱动、计划任务等所有自起动项,对可疑的自动起动项进行高亮显示,并对其可进行清除。

4、系统加载模块分析:分析所有系统加载的模块,并对可疑模块进行高亮显示,并对其可卸载或清除。

5、系统外壳清理:用它可以清理Windows外壳非法的设置,InternetExplorer外壳的非法设置等(比如自动添加的工具条和菜单项等)。

6、系统清理与优化:能对无效注册表或文件进行清除,对安全的设置项进行优化,对用户历史记录进行清除(比如对顽固的InternetExplorer历史记录的完全清除等)。

二、Windows优化大师

Windows优化大师下载从系统信息检测到调校、从系统清理到维护,Windows优化大师都为您提供比较全面的解决方案。Windows优化大师同时适用于Windows98/Me/XP/2000/2003/Vista操作系统,提供了全面有效、简便安全的:系统检测;系统清理;系统维护;系统优化等功能,让您的电脑始终保持在最佳状态。

1、硬件检测模块,增加对ATI5800系列的显卡温度的读取

2、注册表扫描模块,增强对Windows7操作系统的兼容性

3、历史痕迹清理模块,增强对Windows7操作系统的兼容性

4、开机速度优化模块,调整部分品牌机自启动程序的识别

5、桌面菜单优化模块中的细小调整

关于网络安全小知识,小编为您介绍和普及这么多了,看完上面的介绍,您对“系统漏洞用什么修复工具好”这个问题了解多少了呢?系统漏洞虽然是普遍存在的,但是也会有一些安全隐患,所以一定要找相关的修复工具来修复才行。

展开阅读全文

扫描器可以直接攻击网络漏洞吗

全文共 987 字

+ 加入清单

计算机网络安全有哪些基本注意事项呢?扫描器可以直接攻击网络漏洞吗?为了解决这些问题我们需要跟着首先了解一下扫描器的作用与功效。通过对扫描器的了解,我们可以了解到扫描器是否是可以直接攻击网络漏洞的哈。

网络漏洞一个较为通俗的网络漏洞的描述性定义是:存在于计算机网络系统中的、可能对系统中的组成和数据造成损害的一切因素。网络漏洞是在硬件、软件、协议的具体实现或系统安全策略上存在的缺陷,从而可以使攻击者能够在未授权的情况下访问或破坏系统。具体举例来说,比如在IntelPentium芯片中存在的逻辑错误,在Sendmail早期版本中的编程错误,在NFS协议中认证方式上的弱点,在Unix系统管理员设置匿名Ftp服务时配置不当的问题都可能被攻击者使用,威胁到系统的安全。因而这些都可以认为是系统中存在的安全漏洞。

关于网络漏洞,目前还没有一个准确统一的定义。有学者从访问控制的角度出发,认为:当对系统的各种操作与系统的安全策略发生冲突时,就产生了安全漏洞。也有专家认为:计算机系统是由若干描述实体配置的当前状态所组成,可分为授权状态和非授权状态、易受攻击状态和不易受攻击状态,漏洞就是状态转变过程中能导致系统受损的易受攻击状态的特征。

以上两种观点,都是从各自的专业角度对网络漏洞进行描述,并没有给出一个全面的准确的定义。

扫描器是一种自动检测远程或本地主机安全脆弱点的程序,通过使用扫描器可以不留痕迹的发现远程服务器的各种TCP端口的分配及提供的服务和它们的软件版本,这就能让我们间接的或直观的了解到远程主机所存在的安全问题。扫描器采用模拟攻击的形式对目标可能存在的已知安全漏洞进行逐项检查。目标可以是工作站、服务器、交换机、数据库应用等各种对象。然后根据扫描结果向系统管理员提供周密可靠的安全性分析报告,为提高网络安全整体水平产生重要依据。

在网络安全体系的建设中,安全扫描工具花费低、效果好、见效快、与网络的运行相对对立、安装运行简单,可以大规模减少安全管理员的手工劳动,有利于保持全网安全政策的统一和稳定。扫描器并不是一个直接的攻击网络漏洞的程序,它仅仅能帮助我们发现目标机的某些存在的弱点。一个好的扫描器能对它得到的数据进行分析,帮助我们查找目标主机的漏洞。但它不会提供进入一个系统的详细步骤。

为我们提供了很详细的扫描器的作用,这些作用与使用方法也已经归纳到网络安全小知识中了哦。

展开阅读全文

导致计算机系统漏洞的原因是什么

全文共 514 字

+ 加入清单

漏洞也叫脆弱性(Vulnerability),是计算机系统在硬件、软件、协议的具体实现或系统安全策略上存在的缺陷和不足,漏洞一旦被发现,就可使用这个漏洞获得计算机系统的额外权限,使攻击者能够在未授权的情况下访问或破坏系统,从而导致危害计算机系统安全,那么,导致计算机系统漏洞的原因是什么呢?怎样安全使用网络预防电脑病毒呢?今天我们就跟随一起来了解关于这方面的网络病毒小知识吧。

第一,编程人员在设计程序时,对程序逻辑结构设计不合理,不严谨,因此产生一处或者多处漏洞,正是由于这些漏洞,给病毒入侵用户电脑提供了入口。

第二,编程人员的程序设计错误也是计算机系统漏洞产生的原因之一,受编程人员的能力、经验和当时安全技术所限,在程序中难免会有不足之处,轻则影响程序效率,重则导致非授权用户的权限提升,这种类型的漏洞最典型的是缓冲区溢出漏洞,它也是被黑客利用得最多的一种类型的漏洞。

第三,由于目前硬件无法解决特定的问题,使编程人员只得通过软件设计来表现出硬件功能而产生的漏洞,也会让黑客长驱直入,攻击用户的电脑。

综上所述,导致计算机系统漏洞的原因包括程序逻辑结构设计不合理,不严谨、编程人员程序设计错误以及目前为止硬件无法解决特定的问题等。

展开阅读全文

网络安全漏洞披露

全文共 1251 字

+ 加入清单

网络安全漏洞披露已成为网络安全风险控制的中心环节。不规范或非法的网络安全漏洞披露危害网络空间整体安全,凸显法律规定的灰色地带。

国内外不同主体基于不同动机和利益驱动开展了广泛的网络安全漏洞披露实践并引发各方对不利法律后果的反思。

网络安全漏洞披露的概念与类型

1、概念

漏洞是一个或多个威胁可以利用的一个或一组资产的弱点,是违反某些环境中安全功能要求的评估对象中的弱点,是在信息系统(包括其安全控制)或其环境的设计及实施中的缺陷、弱点或特性。这些缺陷或弱点可被外部安全威胁利用。漏洞是“非故意”产生的缺陷,具备能被利用而导致安全损害的特性。网络安全漏洞具备可利用性、难以避免性、普遍性和长存性等技术特征。

漏洞生命周期包括生成、发现、发布、流行、修复、衰败、消亡利用脚本等7个阶段。其中,漏洞发布即为本文所探讨的漏洞披露,一旦漏洞发现者揭示了厂商(或者其他主体)的漏洞,则漏洞披露阶段随即产生,漏洞信息可通过将其发布到第三方平台或黑客之间进行的秘密交易而完全公开。一般认为,漏洞披露是指漏洞信息通过公开渠道告知公众。国家标准《信息安全技术信息安全漏洞管理规范》(GB/T30276-2013)将其定义为“在遵循一定的发布策略的前提下,对漏洞及其修复信息进行发布”。《网络安全法》即采用“发布”一词直接规定了漏洞披露,其第26条规定,“开展网络安全认证、检测、风险评估等活动,向社会发布系统漏洞、计算机病毒、网络攻击、网络侵入等网络安全信息,应当遵守国家有关规定”。

2、类型

网络安全漏洞披露被概括为不披露、完全披露和负责任披露三种类型。

不披露是指漏洞发现者将安全漏洞保密并不进行报告,既不向厂商报告,又不披露给公众。不披露类型不考虑用户权益,漏洞极有可能在黑灰市交易,引发漏洞利用的网络安全危险还有可能引发漏洞利用攻击。

完全披露与不披露正好相反,是指漏洞发现者将安全漏洞披露给不特定的公众。完全披露不给厂商充分的时间和警告来解决漏洞,将安全漏洞信息直接暴露于潜在的恶意攻击者,是争议较大的披露类型。支持方认为它可以迅速及时将缺陷告知用户,使其在漏洞被利用进行攻击之前禁用受影响的软硬件以降低损害,并可以敦促厂商及时承认并修补漏洞。反对方则认为在未与厂商协商的情况下暴露缺陷无疑会增加用户系统被广泛开发的风险,因为即使没有代码黑客也能够轻松的开发和编写漏洞。

负责任披露,也被称为有限披露,是指漏洞发现者以帮助厂商解决安全漏洞问题为出发点,将安全漏洞报告给厂商。当解决方案完备后,厂商公布漏洞同时将补丁发布给用户。该类型的漏洞披露更具中立性,细节较为复杂,是前两种类型的折中和衍生,虽然存在诸多不合理之处,例如在没有补丁的情况下发布漏洞,仍然会引来类似完全披露导致的安全问题,但这种披露类型兼顾了用户和厂商的利益,被更多安全研究人员赞同。负责任披露中往往包括了协调者参与的协调程序。协调者是一个中立且独立的机构,其能够接收一个或多个厂商的响应,具有解决冲突协调各方利益的能力,是漏洞发现者、公众、用户及厂商之间的纽带。

展开阅读全文

就macOS漏洞,苹果发表致歉声明

全文共 612 字

+ 加入清单

在前几天,苹果公司发现macOS High Sierra最新系统存在一个严重的安全漏洞,不输入密码,即可完成解锁,可登录Mac,任何人都可以,这一bug完全暴露了苹果mac上的私人文件,这让私人用户数据正处于危险之中。为此,苹果发表了道歉声明

苹果发表声明,就 macOS 登录漏洞问题向所有 Mac 用户道歉

今天早些时候,有开发人员发现了 macOS High Sierra 重大安全漏洞,可以通过 root 以及空密码的方式获得 Mac 电脑管理员权限。现在,苹果发布了 macOS 紧急安全补丁 Security Update 2017-001,修复了这个严重的安全漏洞。现在可以进入 App Store 进行安全更新。苹果建议用户尽快安装这次的安全升级补丁。与此同时,苹果也通过媒体对外发表声明,就此事所带来的影响向所有 Mac 用户道歉。苹果声明如下:

安全对每一款苹果产品来讲都是至关重要的,很遗憾我们在这次的 macOS 更新上犯了错误。当我们的安全工程师在昨天下午意识到这个问题的时候,我们立刻开始着手准备更新并修补漏洞。今晨 8 点,安全更新已经推送,从现在开始补丁将自动安装在运行 macOS High Sierra 10.13.1 的系统上。我们十分遗憾出现了这个错误,我们向所有 Mac 用户道歉,既对带来这样一个漏洞表示歉意,也对带来的关注表示歉意。我们正在审核我们的开发流程,防止这种情况再次发生。

展开阅读全文

熟人真的能改支付宝密码吗 支付宝熟人改密码漏洞详细介绍

全文共 1591 字

+ 加入清单

最近,有网友爆料支付宝存在一个新漏洞,陌生人有1/5的机会登录你的支付宝,而熟人甚至100%可以登录你的支付宝。那么这个漏洞是真的吗?漏洞的详细过程是怎样的呢?

就在今早,小编在上路上忽然收到了一条支付宝验证码的短信,察觉到异常后立刻打开了支付宝客户端,结果被吓出了冷汗:

自己的支付宝账号竟正被他人登录,随即他收到一条朋友发来的微信消息:

我刚才用网上流传的“支付宝致命漏洞”来重置你的登录密码,竟然成功了!你还不知道吗?朋友圈都传开啦!

支付宝漏洞?小编随即打开朋友圈,发现已经有很多网络安全圈内的朋友都转了一条名为“支付宝惊现致命漏洞,快解绑你的银行卡”的报道。

报道中称,有网友发现支付宝在登录方式上存在致命的逻辑漏洞,导致熟人之间可以相互登录对方的支付宝账号,流程大致如下:

进入‘忘记密码’界面后,选择‘无法接受短信’,这时候会出现两个相关问题:一、在9张图片当中找出你认识的人 ;二、选择与您有关的地址。

只要成功答对这两道问题,就可以重置该支付宝账号的密码,并且在登录后可以正常使用免支付密码的快捷支付功能,直接使用对方支付宝中的资金。

很快,随着该消息在朋友圈内的传播,越来越多的人表示自己收到支付宝登录验证短信,以及相关的账号异常提醒,许多人开始用身边朋友的支付宝账号来尝试复现该漏洞。有人表示,周围已经有不下十人成功登录了身边朋友的支付宝账号,甚至有网络安全高手也中招了,由此他判断此次问题可能非常严重。

真实成功率如何?

雷锋网编辑在对周围朋友的支付宝账号进行了大约7~8 次尝试后,成功重置一位好友的密码,但是在双方十分熟悉,知道对方认识的人、购物记录和家庭住址等情况的前提下实现的。虽然结果确实令人惊讶,但成功率并没有网上说的那么夸张——“陌生人有五分之一的机会登录你支付宝,熟人有百分之百的机会登录你的支付宝”。

在测试中我们发现,两个测试题会随机出现“你认识的人”、“和你相关的地址”、“你曾经买过的东西”等不同的问题,只要答错一两次,该种方式就会被屏蔽,只允许使用其他方式找回密码,并且其他的方式也会在尝试失败后逐渐被屏蔽,这似乎触发了支付宝的某种安全机制。

在多次试验后,雷锋网编辑发现自己无论使用谁的支付宝账号,都无法再使用之前那种通过相关信息来重置密码的方式。

至上午10点左右,周围不少在测试该漏洞的朋友也表示自己测试失败,只有在自己的常用设备下才能触发相关消息找回。有安全从业者表示:“支付宝响应很快,据说目前已经对风控进行了调整。”

支付宝官方回应

至上午11点50分左右,支付宝官方微博发出声明,对此次事件进行了公告,全文如下:

虽然目前蚂蚁金服方面尚未给出具体的风控手段解析,但据雷锋网了解,支付宝风控和阿里聚安全应用了同一套技术基础,据此,可以判断支付宝也应用了以下风控手段:

对于支付宝的所有的验证登录数据,都会被收录到风险信息库中。每一个风险用户和背后的手机、邮箱、IP地址、身份证号都会被记录在案。

对于每一台登录支付宝的设备,风控措施都会为了给设备定义一个独特的指纹,系统会收集多维度的信息,例如:

App的基本信息:其中包括 App 的名称、版本等,也包括集成 SDK 的版本信息。

设备信息:包括设备的名称、型号、系统、IMEI号、MAC地址。(iOS 设备只能获取部分信息)

网络信息:wifi、4G等参数。

公开的接口信息:例如软件ID、开发者ID。

根据以上信息综合算出设备的“指纹ID”。这个 ID 相当于设备的身份证。当硬件发生变动时,只要改动的部件低于一定比例,仍会被认定为是同一台设备。

根据支付宝的公告,目前已调整风控等级,支付宝的风控措施会在背后判断根据以上的设备指纹来判断是否是用户的常用设备,用户仅仅在自己的设备上才能使用相关信息才能使用“相关信息验证”的方式来登录。

因此,现在已经不必再着急解绑自己的银行卡了,更重要的应该是,看好自己的手机!

展开阅读全文

Aave经历惊魂一刻,这个漏洞差点酿成一场危机

全文共 3140 字

+ 加入清单

注:今日,DeFi安全审计公司Trail of Bits披露了Aave借贷协议此前存在的一个严重漏洞,在发现到该问题后,Aave迅速修复了该漏洞,从而避免了一场危机

原文来自Trail of Bits:

12月3日,知名DeFi借贷协议Aave部署了V2版本,尽管我们并没有被雇佣来查看其代码,但在次日,我们还是对其进行了简单审查。很快,我们就发现了一个影响Aave V1和V2版本合约的漏洞,并报告了该问题。在将我们的分析发送给Aave的一小时内,他们的团队修复了该漏洞,以减轻潜在影响。如果该漏洞被利用,这一问题将破坏Aave,并影响外部DeFi合约中的资金。

据悉,有5家不同的安全公司审查了Aave代码库,其中有一些使用了形式化验证。然而,这个漏洞并没有被这些公司注意到。这篇文章描述了这一问题,以及“该漏洞是如何逃过检测”等其它的一些经验教训。此外,我们也在开发一种新的Slither检测器,它可以识别这一漏洞,从而为以太坊社区提高安全性。

漏洞

Aave使用了delegatecall代理模式,这一点我们在过去的文章中已经详细讨论过了。简单来看,每个组件被分成了两个合约:(1)包含实现的逻辑合约,(2)包含数据并使用delegatecall与逻辑合约进行交互的代理。在逻辑合约上执行代码时,用户与代理合约进行交互。这是delegatecall代理模式的简化表示:

在Aave中,LendingPool(LendingPool.sol)是使用delegatecall代理的可升级组件。

而我们发现的漏洞依赖于这些合约中的两个功能:

可以直接调用逻辑合约的函数,包括初始化函数;

借贷池具有其自己的delegatecall功能;

初始化可升级合约

这种可升级模式的一个限制是,代理不能依赖逻辑合约的构造函数(Constructor)进行初始化。因此,状态变量和初始设置必须在公共初始化函数中执行。

在LendingPool中,初始化函数设置提供者地址(_addressesProvider):

initializer调节器防止多次调用initialize,它要求满足以下条件为true:

以下:

初始化允许在相同交易中多次调用调节器(因此有多个initialize函数);

isConstructor()是代理执行代码所需的;

revision >lastInitializedRevision允许在合约升级时再次调用初始化函数;虽然它通过代理,预期可正常工作,但是(3)也允许任何人直接在逻辑合约上调用initialize函数。一旦逻辑合约被部署:

revision将为0x2(LendingPool.sol#L56);

lastInitializedRevision将为0x0;而漏洞是:任何人都可以在LendingPool逻辑合约中设置_addressesProvider。

任意delegatecall

LendingPool.liquidationCall直接委托调用(delegatecall)由_addressProvider返回的地址:

这允许任何人启动LendingPool逻辑合约,设置受控地址提供者,并执行任意代码,包括selfdestruct。

利用漏洞的场景:任何人都可以破坏借贷池逻辑合约。下面是一个简化的视觉表示:

缺乏存在检查

就问题本身而言,已经是很严重了,因为任何人都可以破坏逻辑合约,并阻止代理执行借贷池代码。

然而,在代理合约中使用OpenZeppelin会加剧这一问题的严重性。我们在2018年撰写的一篇博客文章中强调,没有代码的合约委托调用(delegatecall)能在不执行任何代码的情况下返回成功。尽管我们最初发出警告,但OpenZeppelin并未在其代理合约中修复回退函数:

如果代理委托调用(delegatecall)了一个已破坏的借贷池逻辑合约,则代理将返回成功,而不会执行任何代码。

由于Aave可以更新代理以指向另一个逻辑合约,因此这种漏洞利用不会持久。但在可利用此漏洞的时间范围内,任何调用该借贷池的第三方合约,都将表现为某些代码已被执行,但实际却并未执行。这将打破很多外部合约的基本逻辑。

受影响的合约

:调用(AToken.sol#L255-L260)。由于调用什么也不做,用户将烧掉他们的AToken,而不会收到他们的底层资产;

:存款会存储在网关中,然后任何人都可以窃取存款资产;

;如果我们发现的问题被利用,则Aave之外的很多合约都会受到各种方式的影响。确定一份完整的名单是困难的,我们没有试图这样做。这一事件凸显了DeFi可组合性的潜在风险,以下是我们找到的一些受影响的合约:

DefiSaver v1 (AaveSaverProxy.sol)

DefiSaver v2 (AaveSaverProxyV2.sol)

PieDao – pie oven (InterestingRecipe.sol#L66)

修复及建议

幸运的是,在我们报告这个漏洞之前,还没有人利用它。Aave对其两个版本的借贷池调用了initialize函数,从而保证了合约的安全:

LendingPool V1: 0x017788dded30fdd859d295b90d4e41a19393f423修复时间: 2020年12月4日 07:34:26 PM +UTC

LendingPool V2: 0x987115c38fd9fd2aa2c6f1718451d167c13a3186 修复时间: 2020年12月4日 07:53:00 PM +UTC长期而言,合约部署者应:

在所有逻辑合约中添加一个构造函数(constructor )以使initialize函数无效;

检查delegatecall代理fallback函数中是否存在合约;

仔细检查delegatecall陷阱,并使用slither-check-upgradeability;

形式化验证合约并不是防弹的

Aave的代码库经过了形式化验证,区块链领域的一个趋势是,人们会认为安全特性是圣杯。用户可能会尝试根据这些特性的存在与否,对各种合约的安全性进行排序。我们认为这是危险的,它会导致错误的安全感。

Aave形式化验证报告列出了 LendingPool 视图函数(例如,它们没有副作用)以及池操作(例如,操作成功后返回true且不还原)的属性。例如,已验证的属性之一是:

然而,如果逻辑合约遭到破坏,则该属性可能会被破坏。那如何才能对此进行验证?虽然我们无法访问定理证明或所使用的设置,但很可能证明proof没有考虑可升级性,或者prover不支持复杂的合约交互。

这在代码验证中是很常见的。你可以通过对整体行为的假设来证明目标组件中的行为,但是在多合约设置中证明属性是具有挑战性和耗时的,因此必须进行权衡。

形式化验证技术很棒,但是用户必须意识到它们覆盖范围很小,并且可能会错过攻击媒介。另一方面,自动化工具和人工审查可帮助开发人员以较少的资源来提升代码库的安全性。了解每种解决方案的优点和局限性,对开发人员和用户而言都至关重要。当前的问题就是一个很好的例子,Slither可以在几秒钟内发现这个问题,受过训练的专家可能会很快指出它,而要用安全特性来检测,则需要付出很大的精力。

总结

Aave做出了积极反应,并在发现问题后迅速修复了该漏洞。危机避免了,但最近遭受黑客攻击的其他受害者却没有那么幸运。在部署代码并将其暴露于对抗性环境之前,我们建议开发者:

查看这里的检查表和训练;

将Slither添加到你的持续集成管道中并调查其所有报告;

给安全公司适当的时间来审查你的系统;

请注意可升级性,至少请审查合约升级反模式,合约迁移的工作方式,以及使用OpenZeppelin的可升级性;我们希望通过分享此信息以及与此问题相关的Slither检测器来防止类似的错误。

展开阅读全文