信息安全技術(shù)區(qū)塊鏈合約安全技術(shù)測(cè)評(píng)要求目 次前言 Ⅲ1范引文件 1語(yǔ)定義 1級(jí)評(píng)2等測(cè)方法 2單測(cè)評(píng) 2一測(cè)要求 2合可止測(cè)2合確性評(píng)3合可計(jì)測(cè)3合常漏防評(píng)要求 4二測(cè)要求 5合可止測(cè)5合確性評(píng)6合可計(jì)測(cè)7合常漏防評(píng)要求 7三測(cè)要求 9合可止測(cè)9合確性評(píng)10合可計(jì)測(cè)11合常漏防評(píng)要求 11四測(cè)要求 14合可止測(cè)14合確性評(píng)15合可計(jì)測(cè)15合常漏防評(píng)要求 16評(píng)18風(fēng)分和18等測(cè)結(jié)論 18參考20I信息安全技術(shù)區(qū)塊鏈合約安全技術(shù)測(cè)評(píng)要求本文件適用于測(cè)評(píng)機(jī)構(gòu)對(duì)區(qū)塊鏈合約安全進(jìn)行的測(cè)評(píng)工作，也適用于區(qū)塊鏈技術(shù)開(kāi)發(fā)者參考使用。GB/T25069—2010信息安全技術(shù)術(shù)語(yǔ)GB/T28458—2012信息安全技術(shù)安全漏洞標(biāo)識(shí)與描述規(guī)范GB/T25069—2010、GB/T28458—2012界定的下列術(shù)語(yǔ)和定義適用于本文件。3.1智能合約smartcontracts由事件驅(qū)動(dòng)的、具有狀態(tài)的、運(yùn)行在可復(fù)制的共享區(qū)塊鏈數(shù)據(jù)賬本上的一段計(jì)算機(jī)代碼，是現(xiàn)實(shí)世界中合約和規(guī)則的算法實(shí)現(xiàn)。3.2函數(shù)可重入functionreentrant某函數(shù)被調(diào)用，沒(méi)有執(zhí)行完成，又一次被調(diào)用。3.3整數(shù)溢出lntegeroverflow3.4安全審計(jì)securityaudit[GB/T25069—2010]3.5安全漏洞vulnerability計(jì)算機(jī)信息系統(tǒng)在需求、設(shè)計(jì)、實(shí)現(xiàn)、配置、運(yùn)行等過(guò)程中，有意或無(wú)意產(chǎn)生的缺陷。這些缺陷以[GB/T28458—2012]1該測(cè)評(píng)單元包括以下要求：1符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：2符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。3該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）4tx.origind）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)事務(wù)順序依賴漏洞。b）測(cè)評(píng)對(duì)象：事務(wù)順序依賴漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）智能合約的執(zhí)行是否不隨著事務(wù)處理的順序不同而產(chǎn)生差異。d）該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：1）是否使用安全的隨機(jī)數(shù)產(chǎn)生方法。該測(cè)評(píng)單元包括以下要求：51符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：訪問(wèn)私有類型的屬性和方法；符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：6符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。7該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）tx.origind）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)數(shù)值溢出漏洞。b）測(cè)評(píng)對(duì)象：數(shù)值溢出漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）是否使用防止溢出和下溢的數(shù)學(xué)運(yùn)算庫(kù)進(jìn)行安全的算術(shù)操作。d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容全為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合本測(cè)評(píng)8單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)事務(wù)順序依賴漏洞。b）測(cè)評(píng)對(duì)象：事務(wù)順序依賴漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）智能合約的執(zhí)行是否不隨著事務(wù)處理的順序不同而產(chǎn)生差異。d）該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：1）是否使用安全的隨機(jī)數(shù)產(chǎn)生方法。該測(cè)評(píng)單元包括以下要求：91符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：訪問(wèn)私有類型的屬性和方法；符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：10符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。11該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）12tx.origind）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)數(shù)值溢出漏洞。b）測(cè)評(píng)對(duì)象：數(shù)值溢出漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）是否使用防止溢出和下溢的數(shù)學(xué)運(yùn)算庫(kù)進(jìn)行安全的算術(shù)操作。d）該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)事務(wù)順序依賴漏洞。b）測(cè)評(píng)對(duì)象：事務(wù)順序依賴漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）智能合約的執(zhí)行是否不隨著事務(wù)處理的順序不同而產(chǎn)生差異。d）該測(cè)評(píng)單元包括以下要求：1）是否做好函數(shù)存取款邏輯的檢查。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。13該測(cè)評(píng)單元包括以下要求：1）是否使用安全的隨機(jī)數(shù)產(chǎn)生方法。該測(cè)評(píng)單元包括以下要求：1符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：14訪問(wèn)私有類型的屬性和方法；符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：15符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）16d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）d）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：b）c）tx.origind）測(cè)評(píng)判定：如果以上測(cè)評(píng)實(shí)施內(nèi)容均為肯定，則符合本測(cè)評(píng)單元指標(biāo)要求，否則不符合或部分符合本測(cè)評(píng)單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)數(shù)值溢出漏洞。b）測(cè)評(píng)對(duì)象：數(shù)值溢出漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）是否使用防止溢出和下溢的數(shù)學(xué)運(yùn)算庫(kù)進(jìn)行安全的算術(shù)操作。d）該測(cè)評(píng)單元包括以下要求：a）測(cè)評(píng)指標(biāo)：合約能夠防護(hù)事務(wù)順序依賴漏洞。b）測(cè)評(píng)對(duì)象：事務(wù)順序依賴漏洞防護(hù)方法。c）測(cè)評(píng)實(shí)施包括以下內(nèi)容：1）智能合約的執(zhí)行是否不隨著事務(wù)處理的順序不同而產(chǎn)生差異。d）17單元指標(biāo)要求。該測(cè)評(píng)單元包括以下要求：1）是否做好函數(shù)存取款邏輯的檢查。該測(cè)評(píng)單元包括以下要求：b）