電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問(wèn) 
發(fā)資料
發(fā)視頻資料介紹
針對(duì)用戶(hù)身份標(biāo)識(shí)在身份認(rèn)證機(jī)制中的安全問(wèn)題，提出一種隱藏身份標(biāo)識(shí)的身分認(rèn)證方案，用戶(hù)毋需提交身份標(biāo)識(shí)即可與服務(wù)器實(shí)現(xiàn)身份認(rèn)證，并采用形式化的SVO邏輯語(yǔ)言分析該協(xié)議。SVO邏輯體系下的實(shí)驗(yàn)表明，該協(xié)議達(dá)到了預(yù)期的設(shè)計(jì)目標(biāo)。
關(guān)鍵詞：隱標(biāo)識(shí)身份認(rèn)證方法；SVO邏輯；形式化語(yǔ)義分析
關(guān)鍵詞：隱標(biāo)識(shí)身份認(rèn)證方法；SVO邏輯；形式化語(yǔ)義分析
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 無(wú)人機(jī)無(wú)線(xiàn)通信協(xié)議的形式化認(rèn)證綜述 9次下載
- 基于業(yè)務(wù)目標(biāo)和業(yè)務(wù)場(chǎng)景的語(yǔ)義一致性驗(yàn)證方法 9次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 分析總結(jié)基于深度神經(jīng)網(wǎng)絡(luò)的圖像語(yǔ)義分割方法 21次下載
- 可實(shí)現(xiàn)用戶(hù)身份認(rèn)證的對(duì)稱(chēng)密鑰加密協(xié)議 14次下載
- 如何使用一種形式化方法的3D虛擬祭祀場(chǎng)景建模語(yǔ)言與環(huán)境 9次下載
- 基于形式概念分析的圖像場(chǎng)景語(yǔ)義標(biāo)注模型 1次下載
- Web服務(wù)系統(tǒng)的形式化的語(yǔ)義模型 0次下載
- 操作系統(tǒng)匯編級(jí)形式化設(shè)計(jì)和驗(yàn)證方法 1次下載
- 一種服務(wù)網(wǎng)絡(luò)拓?fù)浣Y(jié)構(gòu)的形式化描述方法_陳鵬 2次下載
- 基于可信計(jì)算平臺(tái)的用戶(hù)身份認(rèn)證研究
- 基于Spin的Rdt2.2及其改進(jìn)的形式化分析
- 一種快速安全認(rèn)證協(xié)議及其形式化分析
- 形式化方法和測(cè)試技術(shù)及其在安全中的應(yīng)用
- 密碼協(xié)議形式化分析的計(jì)算合理性
- 傳感器認(rèn)證大揭秘，這些標(biāo)識(shí)你都認(rèn)識(shí)嗎？ 1128次閱讀
- 基于幾何分析的神經(jīng)輻射場(chǎng)編輯方法 604次閱讀
- 將高級(jí)語(yǔ)義信息隱式地嵌入到檢測(cè)和描述過(guò)程中來(lái)提取全局可靠的特征 763次閱讀
- 通過(guò)SHA-256主/從身份驗(yàn)證系統(tǒng)實(shí)現(xiàn)更高的安全性 1195次閱讀
- 什么是大數(shù)據(jù)系統(tǒng)身份認(rèn)證技術(shù)？ 2215次閱讀
- 芯片開(kāi)發(fā)中形式化驗(yàn)證的是一個(gè)誤區(qū) 1976次閱讀
- 基于VLP模型的語(yǔ)義對(duì)齊機(jī)制 1166次閱讀
- 形式化建模（一） 1387次閱讀
- 幾種常用的NLP數(shù)據(jù)增強(qiáng)方法 1826次閱讀
- 語(yǔ)音交互流程簡(jiǎn)介！語(yǔ)音交互流程設(shè)計(jì) 9418次閱讀
- 自然語(yǔ)言的語(yǔ)義表示學(xué)習(xí)方法與應(yīng)用 7339次閱讀
- 知識(shí)圖譜系列干貨，理論+實(shí)踐 1.2w次閱讀
- 基于人臉和指紋的身份識(shí)別認(rèn)證系統(tǒng)解決方案 3016次閱讀
- 身份證拍照識(shí)別技術(shù)簡(jiǎn)介及其特點(diǎn) 1462次閱讀
- 汽車(chē)電子標(biāo)識(shí)系統(tǒng)含義及其工作原理 8228次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1490次下載 | 免費(fèi)
- 2單片機(jī)典型實(shí)例介紹
- 18.19 MB | 93次下載 | 1 積分
- 3S7-200PLC編程實(shí)例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識(shí)別和講解說(shuō)明
- 4.28 MB | 18次下載 | 4 積分
- 5開(kāi)關(guān)電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費(fèi)
- 6基于A(yíng)T89C2051/4051單片機(jī)編程器的實(shí)驗(yàn)
- 0.11 MB | 4次下載 | 免費(fèi)
- 7基于單片機(jī)和 SG3525的程控開(kāi)關(guān)電源設(shè)計(jì)
- 0.23 MB | 3次下載 | 免費(fèi)
- 8基于單片機(jī)的紅外風(fēng)扇遙控
- 0.23 MB | 3次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專(zhuān)業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開(kāi)關(guān)電源設(shè)計(jì)實(shí)例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537791次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會(huì)AVR單片機(jī)與C語(yǔ)言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評(píng)論