買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜西安電子科技大學申請的專利基于符號執行生成數據流圖的加密算法識別裝置及方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN115659376B 。

龍圖騰網通過國家知識產權局官網在2025-05-16發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202211403662.4，技術領域涉及：G06F21/60；該發明授權基于符號執行生成數據流圖的加密算法識別裝置及方法是由孫聰;李宗臻;劉喬森;馬建峰設計研發完成，并于2022-11-10向國家知識產權局提交的專利申請。

本基于符號執行生成數據流圖的加密算法識別裝置及方法在說明書摘要公布了：一種基于符號執行生成數據流圖的加密算法識別裝置及方法，二進制抽象模塊利用反匯編工具和處理器模型將指令集體系架構下的二進制指令轉化為數據流圖結點；簽名構造模塊利用簽名語言規范和簽名語言轉換方式，將加密算法對應的簽名語言轉換為相應的數據流圖；符號執行模塊利用符號執行構造二進制數據流圖；加密算法識別模塊通過烏爾曼子圖同構在二進制中識別加密算法并輸出二進制數據流圖。本發明解決了現有技術不具有編譯器和源代碼無關性、一對多識別結果的問題，在提升識別加密算法精準度的同時，能夠在沒有源代碼的前提下對含有加密算法的可執行文件或程序函數庫進行加密算法識別分析。

本發明授權基于符號執行生成數據流圖的加密算法識別裝置及方法在權利要求書中公布了：1.一種基于符號執行生成數據流圖的加密算法識別裝置，其特征在于，該識別裝置包括二進制抽象模塊、簽名構造模塊、符號執行模塊、加密算法識別模塊，其中：所述二進制抽象模塊，用于利用反匯編工具得到指令集體系架構下的每一條二進制指令的反匯編形式；利用指令集體系架構對應的處理器模型，將每一條二進制指令的反匯編形式中有關數據的操作碼和操作數轉換成數據流圖中對應的圖結點；所述簽名構造模塊，用于按照簽名語言規范，將加密算法中有關數據的操作翻譯為相應的簽名語言，按照簽名語言轉換方式，將簽名語言轉換為簽名數據流圖；所述符號執行模塊，用于將二進制中所有的條件跳轉指令和所有的位于條件跳轉指令之后的指令按照指令地址構成一個路徑集合；判斷從該集合中所選元素對應的路徑是否為復制路徑，若是，則用所選元素的前一個元素對應的執行路徑符號化所選元素對應的條件跳轉指令，用所選元素對應的執行路徑符號化所選元素對應的位于條件跳轉指令之后的指令；否則，再判斷所選元素對應的路徑是跟蹤路徑，還是忽略路徑；若是跟蹤路徑，對所選元素對應的條件跳轉指令進行符號化，否則，對所選元素對應的位于條件跳轉指令之后的指令進行符號化；將所有元素對應的符號表達式組成二進制符號執行圖，按照數據流圖轉換方式，將二進制符號執行圖轉換為二進制數據流圖；所述加密算法識別模塊，用于將簽名的數據流圖和二進制數據流圖作為輸入，通過烏爾曼子圖同構識別加密算法；判斷二進制中是否存在加密算法中的任意一個實現或兩種加密算法都存在于二進制中，若是，則在二進制數據流圖中將識別到的加密算法對應的數據流圖部分標紅顯示，否則，不對二進制數據流圖做任何操作；輸出二進制的數據流圖。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人西安電子科技大學，其通訊地址為：710071 陜西省西安市太白南路2號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。