可证明安全性是密码协议安全性评估的重要依据，但手写安全性证明容易出错且正
2010-02-10 12:14
如果自动驾驶汽车要成为大众市场的现实，就需要系统地开发这些系统，持续监控，并以结构化和令人信服的方式证明是安全的。
2022-06-16 17:26
可信计算是信息安全领域的研究热点，而远程证明方法又是可信计算研究中的难点和关键。远程
2009-09-01 11:48
软件安全性测试是保证软件安全性的重要手段。本文论述了软件安全性测试的特点和主要内容，重点研究了国内外软件安全性测试的主要
2009-08-22 11:06
形式化验证方法被认为是一种构建高可信软件系统的有效手段．在定理证明工具通过手动写证明脚本来验证系统软件的功能正确性，这种验证方式表达力强。可以
2017-12-29 15:21
区块链技术提供这种安全性的方法之一是通过权益证明机制（PoS）。POS区块链协议依靠投票机制来就当前的数据状态达成共识。如果一个增强的节点（也称为验证器）同意建议的数据块，那么这个块就被附加到区块链。
2019-06-21 11:32
欺诈证明提出证据，表明状态转换是不正确的。它们反映了对世界的乐观看法：假设区块代表L2数据的正确状态，直到被证明不是这样。但实际上，一个已提交的区块可能包含错误的状态转换。 有效性
2019-01-28 10:46
锂离子蓄电池的安全性一直受到人们关注，现在仍然是研究热点。文章综述了锂离子蓄电池安全的测试方法，包括测试标准、测试内容的实质以及对
2011-03-11 15:55
，可弥补传统传真件在法律上的局限性。在证明传真件作为证据的合法性上，因传真服务器与传真机都是作为传真的一种传输载体，所以其具备同等传真机的法律效力。对认定传真证据的真实性
2015-01-12 16:12
软件的形式化验证是保障软件可证明性、可靠性和安全性的重要手段，但传统形式化验证脚本的生成过程复杂且需要形式化验证专家的大
2021-06-03 14:31
