《電子商務網絡協議的形式化分析理論與應用》敘述瞭與信息安全有密切聯係的基於網絡電子商務協議的形式化分析理論方法與實際應用。具體內容包括:電子商務協議的形式化邏輯分析方法、通用形式化Petri網模型分析方法、有窮自動機模型檢測分析方法、安全認證和交易的基本協議,以及協議的有色Petri網模型及分析的軟件工具CPN Tools等。同時,《電子商務網絡協議的形式化分析理論與應用》應用這些分析方法和工具具體分析瞭相關的認證和支付等協議。
《電子商務網絡協議的形式化分析理論與應用》適閤於高等院校計算機專業、電子商務專業高年級本科生和研究生閱讀,也可供科研人員參考。
發表於2024-09-11
電子商務網絡協議的形式化分析理論與應用 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機 程序
好險,我做的事他沒做
評分好險,我做的事他沒做
評分好險,我做的事他沒做
評分好險,我做的事他沒做
評分好險,我做的事他沒做
電子商務網絡協議的形式化分析理論與應用 2024 pdf epub mobi 電子書 下載