《電子商務網絡協議的形式化分析理論與應用》敘述瞭與信息安全有密切聯係的基於網絡電子商務協議的形式化分析理論方法與實際應用。具體內容包括：電子商務協議的形式化邏輯分析方法、通用形式化Petri網模型分析方法、有窮自動機模型檢測分析方法、安全認證和交易的基本協議，以及協議的有色Petri網模型及分析的軟件工具CPN Tools等。同時，《電子商務網絡協議的形式化分析理論與應用》應用這些分析方法和工具具體分析瞭相關的認證和支付等協議。
《電子商務網絡協議的形式化分析理論與應用》適閤於高等院校計算機專業、電子商務專業高年級本科生和研究生閱讀，也可供科研人員參考。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
好險，我做的事他沒做
评分好險，我做的事他沒做
评分好險，我做的事他沒做
评分好險，我做的事他沒做
评分好險，我做的事他沒做
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有