電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
移動電子商務(wù)協(xié)議的形式化分析和驗證是近年來移動電子商務(wù)協(xié)議的一個重要研究熱點。以一個支付網(wǎng)關(guān)為中心的匿名的移動電子商務(wù)支付協(xié)議PCMS為研究對象，建立了PCMS協(xié)議的時間自動機(jī)模型，并用計算樹邏輯CTL公式描述PCMS協(xié)議的部分性質(zhì)，最后利用模型檢測工具UPPAAL對PCMS協(xié)議的無死鎖、時效性、有效性和錢原子性進(jìn)行檢測驗證。驗證結(jié)果表明，以支付網(wǎng)關(guān)為中心的匿名的安全支付協(xié)議PCMS滿足無死鎖、時效性、有效性和錢原子性。
?
PCM
加入交流群
掃碼添加小助手
加入工程師交流群
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- 常用于USB通信分析的USB協(xié)議分析工具下載 8次下載
- Wireshark從入門到精通之網(wǎng)絡(luò)抓包協(xié)議分析必備 12次下載
- 基于SystemView的PCM通信系統(tǒng)仿真
- 開源網(wǎng)絡(luò)協(xié)議分析器WireShark軟件下載 15次下載
- PCM語音編解碼及原理圖下載 16次下載
- 16位CRC驗證碼生成VI工具下載 57次下載
- PCM語音編解碼的PCB原理圖免費下載 20次下載
- PCM270X、PCM290X應(yīng)用程序的更新操作環(huán)境 4次下載
- PCM2912A與PCM2912的應(yīng)用差異信息 39次下載
- 基于串空間的協(xié)議認(rèn)證屬性標(biāo)準(zhǔn)化驗證過程 0次下載
- pcm1710的分析輸出頻譜和實際使用數(shù)據(jù) 16次下載
- 光通信中高科PCM設(shè)備的分析與優(yōu)化配置 21次下載
- 基于FPGA的全新數(shù)字化PCM中頻解調(diào)器設(shè)計 58次下載
- 無線傳感器網(wǎng)絡(luò)的經(jīng)典MAC協(xié)議驗證與分析
- 基于消息匹配的認(rèn)證協(xié)議分析
- 德州儀器PCM2904/PCM2906立體聲音頻編解碼器：特性、應(yīng)用與設(shè)計指南 215次閱讀
- 【電磁兼容技術(shù)案例分享】磁環(huán)電感量的理論計算與仿真驗證分析 548次閱讀
- fpga驗證和uvm驗證的區(qū)別 3k次閱讀
- eSPI協(xié)議抓包分析 6.2k次閱讀
- 驗證和確認(rèn)的區(qū)別和關(guān)系 7.9k次閱讀
- 基于SJA1000和P82C250芯片實現(xiàn)PCM3680雙口CAN總線通信卡的設(shè)計 3.1k次閱讀
- 基于VMM構(gòu)建的驗證平臺在AXI總線協(xié)議SoC中的應(yīng)用研究 2k次閱讀
- LXT384 PCM接口單元芯片的三種環(huán)回形式分析 4.8k次閱讀
- digilent外接16MB PCM串行閃存介紹 1.8k次閱讀
- 一文弄懂什么是協(xié)議分析儀 1w次閱讀
- 分析IEEE 802.11p和IEEE 1609.4協(xié)議中的多信道MAC協(xié)議 1.1w次閱讀
- 基于System Verilog的可重用驗證平臺設(shè)計及驗證結(jié)果分析 3.2k次閱讀
- 針對無橋Boost PFC電路的驗證及EMI實例分析 1.2w次閱讀
- 基于NS-3的MANET路由協(xié)議性能分析 5.1k次閱讀
- UCPS協(xié)議與HDMI的驗證系統(tǒng)設(shè)計與實現(xiàn) 2.5k次閱讀
上傳資料賺積分下載排行
本周
- 1MDD品牌三極管MMBT3906數(shù)據(jù)手冊
- 2.33 MB | 次下載 | 免費
- 2MDD品牌三極管S9012數(shù)據(jù)手冊
- 2.62 MB | 次下載 | 免費
- 3聯(lián)想flex2-14D/15D說明書
- 4.92 MB | 次下載 | 免費
- 4收音環(huán)繞擴(kuò)音機(jī) AVR-1507手冊
- 2.50 MB | 次下載 | 免費
- 524Pin Type-C連接器設(shè)計報告
- 1.06 MB | 次下載 | 免費
- 6新一代網(wǎng)絡(luò)可視化（NPB 2.0）
- 3.40 MB | 次下載 | 免費
- 7MS1000TA 超聲波測量模擬前端芯片技術(shù)手冊
- 0.60 MB | 次下載 | 免費
- 8MS1022高精度時間測量(TDC)電路數(shù)據(jù)手冊
- 1.81 MB | 次下載 | 免費
本月
- 1愛華AIWA HS-J202維修手冊
- 3.34 MB | 37次下載 | 免費
- 2PC5502負(fù)載均流控制電路數(shù)據(jù)手冊
- 1.63 MB | 23次下載 | 免費
- 3NB-IoT芯片廠商的資料說明
- 0.31 MB | 22次下載 | 1 積分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供電電路圖資料
- 0.63 MB | 6次下載 | 1 積分
- 5UWB653Pro USB口測距通信定位模塊規(guī)格書
- 838.47 KB | 5次下載 | 免費
- 6技嘉H110主板IT8628E_BX IO電路圖資料
- 2.61 MB | 4次下載 | 1 積分
- 7蘇泊爾DCL6907(即CHK-S007)單芯片電磁爐原理圖資料
- 0.04 MB | 4次下載 | 1 積分
- 8100W準(zhǔn)諧振反激式恒流電源電路圖資料
- 0.09 MB | 2次下載 | 1 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935137次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費下載
- 340992 | 191439次下載 | 10 積分
- 5十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183353次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費下載
- 0.02 MB | 73822次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
工商網(wǎng)監(jiān)
評論