電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用

《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》敘述了與信息安全有密切聯(lián)系的基于網(wǎng)絡(luò)電子商務(wù)協(xié)議的形式化分析理論方法與實(shí)際應(yīng)用。具體內(nèi)容包括：電子商務(wù)協(xié)議的形式化邏輯分析方法、通用形式化Petri網(wǎng)模型分析方法、有窮自動(dòng)機(jī)模型檢測(cè)分析方法、安全認(rèn)證和交易的基本協(xié)議，以及協(xié)議的有色Petri網(wǎng)模型及分析的軟件工具CPN Tools等。同時(shí)，《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》應(yīng)用這些分析方法和工具具體分析了相關(guān)的認(rèn)證和支付等協(xié)議。

《電子商務(wù)網(wǎng)絡(luò)協(xié)議的形式化分析理論與應(yīng)用》適合于高等院校計(jì)算機(jī)專業(yè)、電子商務(wù)專業(yè)高年級(jí)本科生和研究生閱讀，也可供科研人員參考。