【摘 要】
：
区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击不断出现。文章提出一种基于拜占庭容错的PoS共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移解决协议模型状态空间爆炸问题,同时结合实际安全威胁形式化建模信道模型和攻击者模型,根据协议一致性要求形式化描述两大类安全属性并进行形式化验证。实验结果表明,该类协议具有拜占庭容错
【机 构】
：
中国科学技术大学计算机科学与技术学院,合肥天帷信息安全技术有限公司
【基金项目】
：
国家自然科学基金[61972369],国家重点研发计划[2018YFB2100301]。
论文部分内容阅读
区块链共识协议是一种确保区块链网络中不同节点的数据达成一致的重要机制,随着区块链应用的爆发性增长,针对区块链共识协议的攻击不断出现。文章提出一种基于拜占庭容错的PoS共识协议形式化分析方法,通过归纳建模共识节点整体状态迁移解决协议模型状态空间爆炸问题,同时结合实际安全威胁形式化建模信道模型和攻击者模型,根据协议一致性要求形式化描述两大类安全属性并进行形式化验证。实验结果表明,该类协议具有拜占庭容错能力。最后,文章分析了针对0确认交易的双花攻击所需的条件,并提出防护方法。
其他文献
物联网设备数量庞大,分布广泛,防护能力较弱,容易受到恶意攻击。同时,攻击者可以通过俘获大量物联网终端设备发起海量流量攻击。针对上述问题,文章提出一种基于聚类+分类的物联网恶意攻击检测方法。首先,对物联网流量数据进行预处理,采用随机森林进行特征重要性评估,并采用主成分分析法进行部分特征降维;然后,采用改进的k-means算法对流量预处理结果进行攻击聚类,对不同的攻击簇,基于CART决策树实现攻击分类
Mysterion算法是XLS设计策略的具体实例,该算法的主要目的是改进LS设计策略,在不影响实现效率的前提下提升LS设计策略的安全性。文章采用不可能差分分析方法对Mysterion算法进行安全性分析,首先证明了Mysterion算法的结构不可能差分轮数最长为4轮,然后利用S盒的信息,突破了Mysterion的结构不可能差分上界,通过优化搜索算法得到5轮的算法不可能差分。Mysterion算法的最
文章提出一种面向5G专网鉴权协议EAP-TLS的细粒度形式化建模与验证方案。方案以TS 33.501文档为依据,首先构建基于Diffie-Hellman模式的协议交互模型;然后扩展Dolev-Yao攻击者模型,提出了两种参与方受控场景和混合信道模型;最后使用验证工具SmartVerif验证保密性、认证性、隐私性3类安全属性。实验结果表明,协议在保密性和认证性方面存在3类安全隐患。文章分析了出现安全
近日,由清华大学计算机系郑纬民院士牵头的中国工程院战略研究与咨询项目"支撑新型存储器件的软硬件生态发展战略研究"工作研讨会在杭州召开。华中科技大学教授冯丹、谢长生、吴非,重庆大学教授刘铎,清华大学集成电路学院副教授高滨等学术界和产业界专家学者出席研讨会。会议由清华大学计算机系副教授张广艳主持。会上,冯丹、刘铎、谢长生、高滨、吴非分别就非易失性内存NVRAM的生态发展、NVRAM在研发和产业化中存在
中国科学技术大学郭光灿院士团队在量子存储及量子网络研究中取得原创性进展。该团队李传锋、周宗权研究组提出并实验实现无噪声光子回波,实测噪声比前人的结果降低了670倍,首次观察到单光子的光子回波并由此实现了高保真度的固态量子存储。该成果7月19日发表在期刊《自然·通讯》上。该工作从方案提出、理论分析到实验实现均由该团队完成,该方案被命名为NLPE并已申请发明专利,是我国具有自主知识产权的原创性量子存储
近日,在2021年世界人工智能大会"数智融合聚变未来"工业智能高峰论坛上,中国宝武工业互联网人工智能中台隆重首发。平台将助力非AI专业人员快速、便捷、高效地生成人工智能解决方案,加速智慧制造2.0进程,引领智慧制造工业变革。此前,宝信软件自主研发的中国宝武工业互联网平台xIn3Plat于2020年底发布。该平台依托大数据、人工智能、智能装备、集控、工业网络安全、移动物联、虚拟制造等七大核心技术,帮
与传统的中心化信息系统相比,区块链具有防篡改、可跟踪和数据共享等优势。文章描述了联盟区块链Fabric的交易流程,并深入研究了其最新的细粒度数据保护机制——隐私数据集。文章采用Fabric区块链通道和隐私数据集相结合的方式,提出了在线教育资源联盟信息保护机制,设计了针对具体场景的实现策略,在实际区块链环境中验证了应用效果。最后,对在线教育资源联盟信息保护机制的发展和完善进行了讨论和展望。
中国科学技术大学中国科学院微观磁共振重点实验室杜江峰、王亚、李兆凯等人在量子机器学习研究中取得重要进展,研发出新型量子特征提取算法,实验实现了对未知量子系统矩阵的分析与信息提取。该成果以"Resonant Quantum Principal Component Analysis"为题发表在近期的Science Advances上。机器学习是指使用计算机从大量历史数据中挖掘隐含规律,并用于后续预测或
随着密码国产化与密钥保护需求的不断增加,商用密码算法与密钥安全管理的复合应用成为专家和学者关注的焦点之一。为解决加/解密方案中私钥易泄露的问题,针对密钥管理服务系统,文章提出一种安全高效的多方协同SM4加/解密方案。该方案利用一次一密且可以预计算的Beaver乘法三元组构成安全两方乘加转换器,保证多方S盒协同计算,从而实现安全高效的多方协同SM4加/解密,有效降低了在线交互过程中的计算开销与通信开
量子计算机的迅速发展给传统的RSA密码、ECC等公钥密码体制带来严重的安全威胁。在抗量子公钥密码体制中,基于格的密码体制是重要的研究类型之一,对算法快速实现的研究具有重要意义。快速数论变换算法是格密码体制的核心运算,其运算效率是实现格密码算法的关键。文章主要对格密码体制中的快速数论变换算法的研究进展,特别是近年来在各种CPU平台上的软件实现方法的进展进行分析和综述,对快速数论变换算法在蝶形结构、负