电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
有限域GF（2″）是多种安全关键性算法的基础，包括AES加密算法、椭圆曲线加密和感染函数掩码等。相关资料表明，有限域上的运算因为自身的复杂性而容易出错，从而导致系统问题。基于测试和基于模型检测的验证方法只能在η固定的特定有限域上进行验证，而且计算量往往超出计算机的能力。基于交互式定理证眀器的形式化验证为有限域性质的通用验提供了可能性，但这方面的工作难度较大。已有研究主要针对有服域的抽象性质进行形式化验证，但计算机领域更关心的是有限域的构造性定义及相关性质的验证。针对这些问题，借助定理证明器COQ，建立了有限域GF（2″）并给出了其基本运算的构造性定义，同时对一组与有限城有关的基本性质进行了形式化验证，包括有限域加法基本性质的验证、多项式乘法基本性质的验证等，其中多项式乘法是有限域乘法的基础。这项工作为有限堿的完整的形式化及基于有限堿的算法的形式化验证奠定了基础。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无人机无线通信协议的形式化认证综述 9次下载
- 软件的顺序语句块自动化规约与验证研究 5次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- Web服务系统的形式化的语义模型 0次下载
- 通信协议形式化模型的研究 0次下载
- 操作系统汇编级形式化设计和验证方法 1次下载
- Z3的Coq自动证明策略的设计 0次下载
- 一种形式化的学习过程建模_钟伟平 0次下载
- 费马大定理的证明 18次下载
- 略谈积分中值定理及其应用 15次下载
- 一种安全协议分析算法研究 8次下载
- 一种快速安全认证协议及其形式化分析 9次下载
- 形式化方法和测试技术及其在安全中的应用 25次下载
- 密码协议形式化分析的计算合理性 11次下载
- 隐标识身份认证方法及其形式化语义分析 13次下载
- 戴维宁定理和诺顿定理的区别和联系是什么? 710次阅读
- 安培环路定理说明磁场是一个什么场 284次阅读
- 戴维宁定理适用于非线性电路吗 405次阅读
- 开源LLEMMA发布：超越未公开的顶尖模型，可直接应用于工具和定理证明 405次阅读
- 线性电路的基本定理 4019次阅读
- 芯片开发中形式化验证的是一个误区 1559次阅读
- 形式化建模（一） 871次阅读
- 浅谈奈奎斯特定理和信号采样 1.4w次阅读
- 区块链上零知识证明的原理解析 4712次阅读
- 帕塞瓦定理的两种常见形式 9380次阅读
- 动能定理公式的理解与推导 3.7w次阅读
- 戴维南定理典型例子_戴维南定理解题方法 22.2w次阅读
- 诺顿定理的详细证明 4.3w次阅读
- 什么是戴维南定理？用戴维南定理求开路电压求解电路的例题与方法 13.7w次阅读
- 两种形式的红外光束编码波形及其典型数值电路图 2022次阅读
上传资料赚积分下载排行
本周
- 1山景DSP芯片AP8248A2数据手册
- 1.06 MB | 532次下载 | 免费
- 2RK3399完整板原理图（支持平板，盒子VR）
- 3.28 MB | 339次下载 | 免费
- 3TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 4DFM软件使用教程
- 0.84 MB | 295次下载 | 免费
- 5元宇宙深度解析—未来的未来-风口还是泡沫
- 6.40 MB | 227次下载 | 免费
- 6迪文DGUS开发指南
- 31.67 MB | 194次下载 | 免费
- 7元宇宙底层硬件系列报告
- 13.42 MB | 182次下载 | 免费
- 8FP5207XR-G1中文应用手册
- 1.09 MB | 178次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537798次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191187次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论