電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
有限域GF（2″）是多種安全關(guān)鍵性算法的基礎(chǔ)，包括AES加密算法、橢圓曲線加密和感染函數(shù)掩碼等。相關(guān)資料表明，有限域上的運(yùn)算因?yàn)樽陨淼膹?fù)雜性而容易出錯(cuò)，從而導(dǎo)致系統(tǒng)問(wèn)題?；跍y(cè)試和基于模型檢測(cè)的驗(yàn)證方法只能在η固定的特定有限域上進(jìn)行驗(yàn)證，而且計(jì)算量往往超出計(jì)算機(jī)的能力?；诮换ナ蕉ɡ碜C眀器的形式化驗(yàn)證為有限域性質(zhì)的通用驗(yàn)提供了可能性，但這方面的工作難度較大。已有研究主要針對(duì)有服域的抽象性質(zhì)進(jìn)行形式化驗(yàn)證，但計(jì)算機(jī)領(lǐng)域更關(guān)心的是有限域的構(gòu)造性定義及相關(guān)性質(zhì)的驗(yàn)證。針對(duì)這些問(wèn)題，借助定理證明器COQ，建立了有限域GF（2″）并給出了其基本運(yùn)算的構(gòu)造性定義，同時(shí)對(duì)一組與有限城有關(guān)的基本性質(zhì)進(jìn)行了形式化驗(yàn)證，包括有限域加法基本性質(zhì)的驗(yàn)證、多項(xiàng)式乘法基本性質(zhì)的驗(yàn)證等，其中多項(xiàng)式乘法是有限域乘法的基礎(chǔ)。這項(xiàng)工作為有限堿的完整的形式化及基于有限堿的算法的形式化驗(yàn)證奠定了基礎(chǔ)。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 軟件的順序語(yǔ)句塊自動(dòng)化規(guī)約與驗(yàn)證研究 5次下載
- 基于MATLAB的有限域校驗(yàn)矩陣程序下載 9次下載
- 基于定理證明的內(nèi)存安全驗(yàn)證工具算法綜述 5次下載
- 軟件形式化開(kāi)發(fā)的水波優(yōu)化方法 0次下載
- Web服務(wù)系統(tǒng)的形式化的語(yǔ)義模型 0次下載
- 通信協(xié)議形式化模型的研究 0次下載
- 操作系統(tǒng)匯編級(jí)形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 一種形式化的學(xué)習(xí)過(guò)程建模_鐘偉平 0次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- 費(fèi)馬大定理的證明 18次下載
- 一種安全協(xié)議分析算法研究
- 形式化方法和測(cè)試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 隱標(biāo)識(shí)身份認(rèn)證方法及其形式化語(yǔ)義分析
- 傅里葉變換與卷積定理的關(guān)系 813次閱讀
- 繼電器的常見(jiàn)封裝形式及其特點(diǎn) 2566次閱讀
- 戴維寧定理和諾頓定理的區(qū)別和聯(lián)系是什么? 1.1w次閱讀
- 安培環(huán)路定理說(shuō)明磁場(chǎng)是一個(gè)什么場(chǎng) 2890次閱讀
- 開(kāi)源LLEMMA發(fā)布：超越未公開(kāi)的頂尖模型，可直接應(yīng)用于工具和定理證明 793次閱讀
- 線性電路的基本定理 7310次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1976次閱讀
- 形式化建模（一） 1387次閱讀
- C++封裝：類的作用域和實(shí)例化 3587次閱讀
- 帕塞瓦定理的兩種常見(jiàn)形式 9855次閱讀
- 動(dòng)能定理公式的理解與推導(dǎo) 3.9w次閱讀
- 戴維南定理典型例子_戴維南定理解題方法 22.6w次閱讀
- 諾頓定理的詳細(xì)證明 5w次閱讀
- 什么是戴維南定理？用戴維南定理求開(kāi)路電壓求解電路的例題與方法 14.2w次閱讀
- 兩種形式的紅外光束編碼波形及其典型數(shù)值電路圖 2331次閱讀
上傳資料賺積分下載排行
本周
- 1山景DSP芯片AP8248A2數(shù)據(jù)手冊(cè)
- 1.06 MB | 532次下載 | 免費(fèi)
- 2RK3399完整板原理圖（支持平板，盒子VR）
- 3.28 MB | 339次下載 | 免費(fèi)
- 3TC358743XBG評(píng)估板參考手冊(cè)
- 1.36 MB | 330次下載 | 免費(fèi)
- 4DFM軟件使用教程
- 0.84 MB | 295次下載 | 免費(fèi)
- 5元宇宙深度解析—未來(lái)的未來(lái)-風(fēng)口還是泡沫
- 6.40 MB | 227次下載 | 免費(fèi)
- 6迪文DGUS開(kāi)發(fā)指南
- 31.67 MB | 194次下載 | 免費(fèi)
- 7元宇宙底層硬件系列報(bào)告
- 13.42 MB | 182次下載 | 免費(fèi)
- 8FP5207XR-G1中文應(yīng)用手冊(cè)
- 1.09 MB | 178次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 2555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33566次下載 | 免費(fèi)
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費(fèi)
- 4開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21549次下載 | 免費(fèi)
- 5電氣工程師手冊(cè)免費(fèi)下載(新編第二版pdf電子書(shū))
- 0.00 MB | 15349次下載 | 免費(fèi)
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費(fèi)
- 7電子制作實(shí)例集錦 下載
- 未知 | 8113次下載 | 免費(fèi)
- 8《LED驅(qū)動(dòng)電路設(shè)計(jì)》 溫德?tīng)栔?/a>
- 0.00 MB | 6656次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537798次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420027次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191187次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183279次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138040次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論