电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
有限域GF（2″）是多种安全关键性算法的基础，包括AES加密算法、椭圆曲线加密和感染函数掩码等。相关资料表明，有限域上的运算因为自身的复杂性而容易出错，从而导致系统问题。基于测试和基于模型检测的验证方法只能在η固定的特定有限域上进行验证，而且计算量往往超出计算机的能力。基于交互式定理证眀器的形式化验证为有限域性质的通用验提供了可能性，但这方面的工作难度较大。已有研究主要针对有服域的抽象性质进行形式化验证，但计算机领域更关心的是有限域的构造性定义及相关性质的验证。针对这些问题，借助定理证明器COQ，建立了有限域GF（2″）并给出了其基本运算的构造性定义，同时对一组与有限城有关的基本性质进行了形式化验证，包括有限域加法基本性质的验证、多项式乘法基本性质的验证等，其中多项式乘法是有限域乘法的基础。这项工作为有限堿的完整的形式化及基于有限堿的算法的形式化验证奠定了基础。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 无人机无线通信协议的形式化认证综述 9次下载
- 软件的顺序语句块自动化规约与验证研究 5次下载
- 基于MATLAB的有限域校验矩阵程序下载 9次下载
- 基于定理证明的内存安全验证工具算法综述 5次下载
- 软件形式化开发的水波优化方法 0次下载
- Web服务系统的形式化的语义模型 0次下载
- 通信协议形式化模型的研究 0次下载
- 操作系统汇编级形式化设计和验证方法 1次下载
- 一种形式化的学习过程建模_钟伟平 0次下载
- 一种服务网络拓扑结构的形式化描述方法_陈鹏 2次下载
- 费马大定理的证明 18次下载
- 一种安全协议分析算法研究
- 形式化方法和测试技术及其在安全中的应用
- 密码协议形式化分析的计算合理性
- 隐标识身份认证方法及其形式化语义分析
- 傅里叶变换与卷积定理的关系 3.1k次阅读
- 继电器的常见封装形式及其特点 4.6k次阅读
- 戴维宁定理和诺顿定理的区别和联系是什么? 1.7w次阅读
- 安培环路定理说明磁场是一个什么场 4.6k次阅读
- 开源LLEMMA发布：超越未公开的顶尖模型，可直接应用于工具和定理证明 1.5k次阅读
- 线性电路的基本定理 9.4k次阅读
- 芯片开发中形式化验证的是一个误区 2.8k次阅读
- 形式化建模（一） 2k次阅读
- C++封装：类的作用域和实例化 4k次阅读
- 帕塞瓦定理的两种常见形式 1w次阅读
- 动能定理公式的理解与推导 4.3w次阅读
- 戴维南定理典型例子_戴维南定理解题方法 23.1w次阅读
- 诺顿定理的详细证明 5.3w次阅读
- 什么是戴维南定理？用戴维南定理求开路电压求解电路的例题与方法 14.5w次阅读
- 两种形式的红外光束编码波形及其典型数值电路图 2.8k次阅读
上传资料赚积分下载排行
本周
- 1矽力杰 Silergy SY7215A 同步升压调节器 规格书 Datasheet 佰祥电子
- 1.12 MB | 5次下载 | 免费
- 2HT81696H 内置升压的30W立体声D类音频功放数据手册
- 1.21 MB | 1次下载 | 免费
- 3HTA6863 3W超低噪声超低功耗单声道D类音频功率放大器数据手册
- 0.87 MB | 次下载 | 免费
- 4南芯 Southchip SC8802C 充电控制器 规格书 Datasheet 佰祥电子
- 88.16 KB | 次下载 | 免费
- 5矽力杰 Silergy SY7065 同步升压转换器 规格书 Datasheet 佰祥电子
- 910.67 KB | 次下载 | 免费
- 6矽力杰 Silergy SY7066 同步升压转换器 规格书 Datasheet 佰祥电子
- 989.14 KB | 次下载 | 免费
- 7WD6208A产品规格书
- 631.24 KB | 次下载 | 免费
- 8NB685 26 V，12 A，低静态电流，大电流 同步降压变换器数据手册
- 1.64 MB | 次下载 | 2 积分
本月
- 1EMC PCB设计总结
- 0.33 MB | 12次下载 | 免费
- 2PD取电芯片 ECP5702规格书
- 0.88 MB | 5次下载 | 免费
- 3矽力杰 Silergy SY7215A 同步升压调节器 规格书 Datasheet 佰祥电子
- 1.12 MB | 5次下载 | 免费
- 4氮化镓GaN FET/GaN HEMT 功率驱动电路选型表
- 0.10 MB | 3次下载 | 免费
- 5PD取电芯片，可取5/9/12/15/20V电压ECP5702数据手册
- 0.88 MB | 3次下载 | 免费
- 6SY50655 用于高输入电压应用的伪固定频率SSR反激式稳压器英文资料
- 1.01 MB | 3次下载 | 免费
- 7怎么为半导体测试仪选择精密放大器
- 0.65 MB | 2次下载 | 免费
- 8SY52341 次级侧同步整流英文手册
- 0.94 MB | 2次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233095次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191469次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183360次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81606次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73832次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论