搜論文知識(shí)網(wǎng)并非《軟件學(xué)報(bào)》的官網(wǎng)或雜志社，為客戶提供期刊征稿、論文發(fā)表等中介服務(wù)，在客戶與期刊雜志社之間搭建了一座省時(shí)、省力的便捷橋梁。本站與《軟件學(xué)報(bào)》等上百家同類正規(guī)期刊保持著多年的密切合作關(guān)系，切實(shí)提高客戶期刊發(fā)表的質(zhì)量與效率。通過本站發(fā)表論文，客戶將獲得更大的選擇空間、更高的通過率、更快的發(fā)表速度、更滿意的服務(wù)質(zhì)量。

　　【雜志簡(jiǎn)介】

　　《軟件學(xué)報(bào)》是一本刊登計(jì)算機(jī)軟件各領(lǐng)域原創(chuàng)性研究成果的期刊,所刊登的論文均經(jīng)過嚴(yán)格的同行專家評(píng)議。《軟件學(xué)報(bào)》主要面向全球華人計(jì)算機(jī)軟件學(xué)者,致力于創(chuàng)辦與世界計(jì)算機(jī)科學(xué)和軟件技術(shù)發(fā)展同步的以中文為主的"中文國(guó)際軟件學(xué)術(shù)期刊", 為全球華人同行提供學(xué)術(shù)交流平臺(tái)。《軟件學(xué)報(bào)》創(chuàng)刊于1990年,由中國(guó)科學(xué)院軟件研究所和中國(guó)計(jì)算機(jī)學(xué)會(huì)聯(lián)合主辦,已被EI Compendex, INSPEC, Abstracts Magazine, Mathematical Review, Zentralblatt MATH等國(guó)際數(shù)據(jù)庫(kù)收錄。

　　《軟件學(xué)報(bào)》注重刊登反映計(jì)算機(jī)科學(xué)和計(jì)算機(jī)軟件新理論、新方法和新技術(shù)以及學(xué)科發(fā)展趨勢(shì)的文章,主要涉及理論計(jì)算機(jī)科學(xué)、算法設(shè)計(jì)與分析、系統(tǒng)軟件與軟件工程、模式識(shí)別與人工智能、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算機(jī)網(wǎng)絡(luò)、信息安全、計(jì)算機(jī)圖形學(xué)與計(jì)算機(jī)輔助設(shè)計(jì)、多媒體技術(shù)及其他相關(guān)的內(nèi)容。

　　【影響因子】

　　國(guó)家新聞出版總署收錄

　　【獲獎(jiǎng)情況】

　　2001年入選中國(guó)期刊方陣“雙百期刊”

　　2000年榮獲中國(guó)科學(xué)院優(yōu)秀科技期刊一等獎(jiǎng)

　　國(guó)外數(shù)據(jù)庫(kù)收錄

　　俄羅斯文摘雜志

　　英國(guó)物理學(xué)、電技術(shù)、計(jì)算機(jī)及控制信息社數(shù)據(jù)庫(kù)

　　美國(guó)數(shù)學(xué)評(píng)論

　　【欄目設(shè)置】

　　主要涉及理論計(jì)算機(jī)科學(xué)、算法設(shè)計(jì)與分析、系統(tǒng)軟件與軟件工程、模式識(shí)別與人工智能、數(shù)據(jù)庫(kù)技術(shù)、計(jì)算機(jī)網(wǎng)絡(luò)、信息安全、計(jì)算機(jī)圖形學(xué)與計(jì)算機(jī)輔助設(shè)計(jì)、多媒體技術(shù)及其他相關(guān)的內(nèi)容。

　　軟件學(xué)報(bào)最新期刊目錄

面向自動(dòng)駕駛系統(tǒng)的場(chǎng)景建模及邊緣關(guān)鍵場(chǎng)景生成————作者：杜德慧;葉振;鄭成行;朱珍珍;李家蘊(yùn);

摘要：自動(dòng)駕駛中極端的場(chǎng)景、無(wú)法預(yù)測(cè)的人類行為等長(zhǎng)尾問題逐漸成為制約自動(dòng)駕駛系統(tǒng)(autonomous driving system, ADS)發(fā)展的關(guān)鍵要素,因此有效地生成安全關(guān)鍵場(chǎng)景對(duì)于提高自動(dòng)駕駛系統(tǒng)的安全性至關(guān)重要.現(xiàn)有的自動(dòng)駕駛場(chǎng)景生成主要依賴于大量的路采數(shù)據(jù),采用數(shù)據(jù)驅(qū)動(dòng)式場(chǎng)景生成方法,并結(jié)合場(chǎng)景泛化技術(shù)生成相應(yīng)的駕駛場(chǎng)景.該方法耗時(shí)耗力,成本高,而且難以有效生成邊緣場(chǎng)景.而模型驅(qū)動(dòng)式場(chǎng)景建...

因果時(shí)空語(yǔ)義驅(qū)動(dòng)的深度強(qiáng)化學(xué)習(xí)抽象建模方法————作者：田麗麗;杜德慧;聶基輝;陳逸康;李滎達(dá);

摘要：隨著智能信息物理融合系統(tǒng)(intelligent cyber-physical system, ICPS)的快速發(fā)展,智能技術(shù)在感知、決策、規(guī)控等方面的應(yīng)用日益廣泛.其中,深度強(qiáng)化學(xué)習(xí)因其在處理復(fù)雜的動(dòng)態(tài)環(huán)境方面的高效性,已被廣泛用于ICPS的控制組件中.然而,由于運(yùn)行環(huán)境的開放性和ICPS系統(tǒng)的復(fù)雜性,深度強(qiáng)化學(xué)習(xí)在學(xué)習(xí)過程中需要對(duì)復(fù)雜多變的狀態(tài)空間進(jìn)行探索,這極易導(dǎo)致決策生成時(shí)效率低下和泛化性...

面向智能體路徑規(guī)劃算法的動(dòng)態(tài)隨機(jī)測(cè)試方法————作者：張逍怡;李幸;劉洋;鄭征;孫昌愛;

摘要：智能體路徑規(guī)劃算法旨在規(guī)劃某個(gè)智能體的行為軌跡,使其在不碰到障礙物的情況下安全且高效地從起始點(diǎn)到達(dá)目標(biāo)點(diǎn).目前智能體路徑規(guī)劃算法已經(jīng)被廣泛應(yīng)用到各種重要的物理信息系統(tǒng)中,因此在實(shí)際投入使用前對(duì)算法進(jìn)行測(cè)試,以評(píng)估其性能是否滿足需求就非常重要.然而,作為路徑規(guī)劃算法的輸入,任務(wù)空間中威脅障礙物的分布形式復(fù)雜且多樣.此外,路徑規(guī)劃算法在為每個(gè)測(cè)試用例規(guī)劃路徑時(shí),通常需要較高的運(yùn)行代價(jià).為了提升路徑規(guī)劃...

基于下推自動(dòng)機(jī)的同步數(shù)據(jù)流語(yǔ)言可信編譯————作者：于濤;王珊珊;徐芊卉;董曉晗;胡代金;羅杰;楊溢龍;呂江花;馬殿富;

摘要：同步數(shù)據(jù)流語(yǔ)言Lustre是安全關(guān)鍵系統(tǒng)開發(fā)中常用的開發(fā)語(yǔ)言,其現(xiàn)存的官方代碼生成器和SCADE的KCG代碼生成器既沒有經(jīng)過形式化驗(yàn)證,對(duì)用戶也處于黑盒狀態(tài).近年來(lái),通過證明源代碼和目標(biāo)代碼的等價(jià)性間接證明編譯器的正確性的翻譯確認(rèn)方法被證明是成功的.基于下推自動(dòng)機(jī)的編譯方法和基于語(yǔ)義一致性的驗(yàn)證方法,提出Lustre語(yǔ)言可信編譯方法,能夠?qū)�Lustre語(yǔ)言轉(zhuǎn)換為C語(yǔ)言并進(jìn)行形式化驗(yàn)證以保證編譯的正...

基于函數(shù)間結(jié)構(gòu)特征關(guān)聯(lián)的軟件漏洞檢測(cè)方法————作者：邱少健;程嘉濠;黃夢(mèng)陽(yáng);黃瓊;

摘要：漏洞檢測(cè)是軟件系統(tǒng)安全領(lǐng)域的關(guān)鍵技術(shù).近年來(lái),深度學(xué)習(xí)憑借其代碼特征提取的卓越能力,在漏洞檢測(cè)領(lǐng)域取得了顯著進(jìn)展.然而,當(dāng)前基于深度學(xué)習(xí)的方法僅關(guān)注于代碼實(shí)例自身的獨(dú)立結(jié)構(gòu)特征,而忽視了不同漏洞代碼間存在的結(jié)構(gòu)特征相似關(guān)聯(lián),限制了漏洞檢測(cè)技術(shù)的性能.針對(duì)這一問題,提出了一種基于函數(shù)間結(jié)構(gòu)特征關(guān)聯(lián)的軟件漏洞檢測(cè)方法 (vulnerability detection method based on c...

單球驅(qū)動(dòng)平衡機(jī)器人運(yùn)動(dòng)學(xué)和動(dòng)力學(xué)形式化驗(yàn)證————作者：張善強(qiáng);張景芝;施智平;王國(guó)輝;關(guān)永;

摘要：?jiǎn)吻蝌?qū)動(dòng)平衡機(jī)器人是一種具有全向運(yùn)動(dòng)性的機(jī)器人,其靈活性能在狹小或復(fù)雜環(huán)境中得到充分體現(xiàn),因此受到廣泛關(guān)注.在該型機(jī)器人運(yùn)動(dòng)學(xué)和動(dòng)力學(xué)設(shè)計(jì)過程中,保證其模型的正確性至關(guān)重要.基于測(cè)試和仿真的傳統(tǒng)方法難以窮盡系統(tǒng)所有狀態(tài),因此可能無(wú)法捕捉到某些設(shè)計(jì)缺陷或潛在的安全風(fēng)險(xiǎn).為確保單球驅(qū)動(dòng)平衡機(jī)器人滿足安全攸關(guān)機(jī)器人的正確性、安全性驗(yàn)證要求,在定理證明器HOL Light中,基于實(shí)分析庫(kù)、矩陣分析庫(kù)、機(jī)器...

面向函數(shù)內(nèi)聯(lián)場(chǎng)景的二進(jìn)制到源代碼函數(shù)相似性檢測(cè)方法————作者：賈昂;范銘;徐茜;晉武俠;王海軍;劉烴;

摘要：二進(jìn)制到源代碼函數(shù)相似性檢測(cè)是軟件組成成分分析的基礎(chǔ)性工作之一.現(xiàn)有方法主要采用一對(duì)一的匹配策略,即使用單一的二進(jìn)制函數(shù)和單一的源代碼函數(shù)進(jìn)行比對(duì).然而,由于函數(shù)內(nèi)聯(lián)的存在,函數(shù)之間的映射關(guān)系實(shí)際上表現(xiàn)為一對(duì)多——單一的二進(jìn)制函數(shù)能夠關(guān)聯(lián)至多個(gè)源代碼函數(shù).這一差異導(dǎo)致現(xiàn)有方法在函數(shù)內(nèi)聯(lián)場(chǎng)景下遭受了30%的性能損失.針對(duì)函數(shù)內(nèi)聯(lián)場(chǎng)景下的二進(jìn)制到源代碼函數(shù)匹配需求,提出了一種面向一對(duì)多匹配的二進(jìn)制到源...

結(jié)合特征生成與重放的可擴(kuò)展安全虹膜識(shí)別————作者：趙冬冬;宋寶剛;廖虎成;閆江;向劍文;

摘要：隨著信息技術(shù)的快速發(fā)展,安全認(rèn)證技術(shù)成為個(gè)人隱私和數(shù)據(jù)安全的重要保障.其中,虹膜識(shí)別技術(shù)憑借其出色的準(zhǔn)確性和穩(wěn)定性,被廣泛應(yīng)用于系統(tǒng)訪問控制、醫(yī)療保健以及司法實(shí)踐等領(lǐng)域.然而用戶的虹膜特征數(shù)據(jù)泄露,就是永久性丟失,無(wú)法進(jìn)行更改或者撤銷.因此,虹膜特征數(shù)據(jù)的隱私保護(hù)尤為重要.隨著神經(jīng)網(wǎng)絡(luò)技術(shù)在圖像處理上體現(xiàn)的突出性能,基于神經(jīng)網(wǎng)絡(luò)的安全虹膜識(shí)別方案被提出,在保護(hù)隱私數(shù)據(jù)的同時(shí)保持了識(shí)別系統(tǒng)的高性能....

分布式系統(tǒng)動(dòng)態(tài)測(cè)試技術(shù)研究綜述————作者：陳元亮;馬福辰;周遠(yuǎn)航;顏臻;姜宇;孫家廣;

摘要：分布式系統(tǒng)是當(dāng)今計(jì)算生態(tài)系統(tǒng)的支柱,它使得現(xiàn)代計(jì)算更加強(qiáng)大、可靠和靈活,覆蓋了從云計(jì)算、大數(shù)據(jù)處理到物聯(lián)網(wǎng)等多個(gè)關(guān)鍵領(lǐng)域.然而,由于系統(tǒng)的復(fù)雜性,分布式系統(tǒng)在代碼實(shí)現(xiàn)過程中總是不可避免地引入一些代碼缺陷,從而對(duì)系統(tǒng)的可用性、魯棒性以及安全性造成巨大威脅.因此,分布式系統(tǒng)的測(cè)試以及缺陷挖掘工作十分重要.動(dòng)態(tài)測(cè)試技術(shù)在系統(tǒng)運(yùn)行中進(jìn)行實(shí)時(shí)分析,以挖掘其缺陷,評(píng)估其行為和功能,被廣泛用于各種系統(tǒng)應(yīng)用的缺陷...

面向Rust語(yǔ)言的形式化驗(yàn)證方法研究綜述————作者：張卓若;常瑞;楊申毅;陳芳;

摘要：Rust作為一種新興的安全系統(tǒng)級(jí)編程語(yǔ)言,以其創(chuàng)新的所有權(quán)模型和借用檢查機(jī)制提供了內(nèi)存安全和并發(fā)安全保證.盡管Rust的設(shè)計(jì)宗旨在于安全性,但現(xiàn)有研究揭示了其仍面臨諸多安全挑戰(zhàn).形式化驗(yàn)證作為一種基于嚴(yán)格數(shù)學(xué)基礎(chǔ)的方法,為Rust安全性提升提供了強(qiáng)有力保障.通過構(gòu)建精準(zhǔn)清晰的語(yǔ)義模型,可以證明遵循Rust檢查規(guī)則的程序滿足安全性要求;借助Rust自動(dòng)化驗(yàn)證工具能夠幫助用戶確保其Rust程序的安全性...

基于混成自動(dòng)機(jī)路徑過濾與動(dòng)態(tài)選擇的CPS系統(tǒng)反例生成————作者：王佳宛;劉熹橦;卜磊;李宣東;

摘要：信息物理融合系統(tǒng)(cyber-physical system, CPS)在安全攸關(guān)領(lǐng)域具有廣泛的應(yīng)用,保障其安全性至關(guān)重要.形式化驗(yàn)證是證明系統(tǒng)安全性的有效手段,但在現(xiàn)實(shí)世界中的復(fù)雜CPS系統(tǒng)上應(yīng)用仍面臨挑戰(zhàn).因此,反例生成的方法被提出,旨在通過尋找系統(tǒng)中違背安全規(guī)約的反例行為來(lái)證明系統(tǒng)的不安全.現(xiàn)有的基于路徑的CPS系統(tǒng)反例生成方法采用分治策略,針對(duì)系統(tǒng)模型中各條路徑上的行為空間分別進(jìn)行探索,能...

深度學(xué)習(xí)編譯器缺陷實(shí)證研究:現(xiàn)狀與演化分析————作者：沈慶超;田家碩;陳俊潔;陳翔;陳慶燕;王贊;

摘要：深度學(xué)習(xí)編譯器已被廣泛應(yīng)用于深度學(xué)習(xí)模型的性能優(yōu)化和部署.與傳統(tǒng)編譯器類似,深度學(xué)習(xí)編譯器也存在缺陷.存在缺陷的深度學(xué)習(xí)編譯器會(huì)導(dǎo)致編譯失敗或者產(chǎn)生錯(cuò)誤的編譯結(jié)果,甚至有時(shí)會(huì)帶來(lái)災(zāi)難性的后果.為了深入理解深度學(xué)習(xí)編譯器缺陷的特性,已有工作針對(duì)深度學(xué)習(xí)編譯器早期的603個(gè)缺陷進(jìn)行研究分析.近年來(lái),深度學(xué)習(xí)編譯器在快速迭代更新,伴隨著大量新特性的引入和舊特性的棄用.與此同時(shí),一些針對(duì)深度學(xué)習(xí)編譯器缺陷...

操作系統(tǒng)內(nèi)核權(quán)能訪問控制的形式驗(yàn)證————作者：徐家樂;王淑靈;李黎明;詹博華;呂毅;代藝博;崔舍承;吳鵬;譚宇;張學(xué)軍;詹乃軍;

摘要：操作系統(tǒng)內(nèi)核是構(gòu)建安全攸關(guān)系統(tǒng)軟件的基礎(chǔ).任何計(jì)算機(jī)系統(tǒng)的正確運(yùn)行都依賴于底層操作系統(tǒng)實(shí)現(xiàn)的正確性,因此,對(duì)操作系統(tǒng)內(nèi)核進(jìn)行形式驗(yàn)證是很迫切的需求.然而,操作系統(tǒng)中存在的多任務(wù)并發(fā)、數(shù)據(jù)共享和競(jìng)爭(zhēng)等行為,給操作系統(tǒng)內(nèi)核的驗(yàn)證帶來(lái)很大的挑戰(zhàn).近年來(lái),基于定理證明的方法廣泛用于操作系統(tǒng)各功能模塊的形式驗(yàn)證,并取得多個(gè)成功應(yīng)用.微內(nèi)核操作系統(tǒng)權(quán)能訪問控制模塊提供基于權(quán)能的細(xì)粒度訪問控制,旨在防止未經(jīng)授權(quán)...

動(dòng)態(tài)順序統(tǒng)計(jì)樹類結(jié)構(gòu)的函數(shù)式建模及其自動(dòng)化驗(yàn)證————作者：左正康;劉增鑫;柯雨含;游珍;王昌晶;

摘要：動(dòng)態(tài)順序統(tǒng)計(jì)樹結(jié)構(gòu)是一類融合了動(dòng)態(tài)集合、順序統(tǒng)計(jì)量以及搜索樹結(jié)構(gòu)特性的數(shù)據(jù)結(jié)構(gòu),支持高效的數(shù)據(jù)檢索操作,廣泛應(yīng)用于數(shù)據(jù)庫(kù)系統(tǒng)、內(nèi)存管理和文件管理等領(lǐng)域.然而,當(dāng)前工作側(cè)重討論結(jié)構(gòu)不變性,如平衡性,而忽略了功能正確性的討論.且現(xiàn)有研究方法主要針對(duì)具體的算法程序進(jìn)行手工推導(dǎo)或交互式機(jī)械化驗(yàn)證,缺乏成熟且可靠的通用驗(yàn)證模式,自動(dòng)化水平較低.為此,設(shè)計(jì)動(dòng)態(tài)順序統(tǒng)計(jì)搜索樹類結(jié)構(gòu)的Isabelle函數(shù)式建模框...

GhostFunc:一種針對(duì)Rust操作系統(tǒng)內(nèi)核的驗(yàn)證方法————作者：何韜;董威;文艷軍;

摘要：操作系統(tǒng)是軟件的基礎(chǔ)平臺(tái),操作系統(tǒng)內(nèi)核的安全性往往影響重大. Rust是逐漸興起的內(nèi)存安全語(yǔ)言,具有生命周期、所有權(quán)、借用檢查、RAⅡ等安全機(jī)制,使用Rust語(yǔ)言構(gòu)建內(nèi)核逐漸成為當(dāng)前熱門的研究方向.但目前使用Rust構(gòu)建的系統(tǒng)多包含部分unsafe代碼段,無(wú)法從根本上保證語(yǔ)言層面的安全性,因而針對(duì)unsafe代碼段的驗(yàn)證對(duì)于保證Rust構(gòu)建的內(nèi)核正確可靠尤為重要.以某使用Rust構(gòu)建的微內(nèi)核為對(duì)象...

干擾惰性序列的連續(xù)決策模型模糊測(cè)試————作者：吳泊逾;王凱銳;王亞文;王俊杰;

摘要：人工智能技術(shù)的應(yīng)用已經(jīng)從分類、翻譯、問答等相對(duì)靜態(tài)的任務(wù)延伸到自動(dòng)駕駛、機(jī)器人控制、博弈等需要和環(huán)境進(jìn)行一系列“交互-行動(dòng)”才能完成的相對(duì)動(dòng)態(tài)的任務(wù).執(zhí)行這類任務(wù)的模型核心是連續(xù)決策算法,由于面臨更高的環(huán)境和交互的不確定性,而且這些任務(wù)往往是安全攸關(guān)的系統(tǒng),其測(cè)試技術(shù)面臨極大的挑戰(zhàn).現(xiàn)有的智能算法模型測(cè)試技術(shù)主要集中在單一模型的可靠性、復(fù)雜任務(wù)多樣性測(cè)試場(chǎng)景生成、仿真測(cè)試等方向,對(duì)連續(xù)決策模型的“...

基于代碼控制流圖的龐氏騙局合約檢測(cè)————作者：黃靜;王夢(mèng)曉;韓紅桂;

摘要：區(qū)塊鏈在加密貨幣投資領(lǐng)域展現(xiàn)出強(qiáng)勁的生命力,吸引了大量投資者的參與.然而,由于區(qū)塊鏈的匿名性,導(dǎo)致了許多欺詐行為,其中龐氏騙局智能合約就是一種典型的欺詐性投資活動(dòng),給投資者帶來(lái)了巨大的經(jīng)濟(jì)損失.因此,對(duì)以太坊上的龐氏騙局合約進(jìn)行檢測(cè)變得尤為重要.但是,現(xiàn)有研究大都忽略了龐氏騙局合約源代碼中的控制流信息.為提取龐氏騙局合約更豐富的語(yǔ)義信息和結(jié)構(gòu)信息,提出一種基于代碼控制流圖的龐氏騙局合約檢測(cè)模型.首...

移動(dòng)應(yīng)用GUI測(cè)試自動(dòng)生成技術(shù)綜述————作者：王博;陳沖;鄧明;董震;林友芳;郝丹;

摘要：移動(dòng)應(yīng)用是近10年來(lái)興起的新型計(jì)算模式,深刻地影響人民的生活方式.移動(dòng)應(yīng)用主要以圖形用戶界面(graphical user interface, GUI)方式交互,而對(duì)其進(jìn)行人工測(cè)試需要消耗大量人力和物力.為此,研究者提出針對(duì)移動(dòng)應(yīng)用GUI的測(cè)試自動(dòng)生成技術(shù)以提升測(cè)試效率并檢測(cè)潛在缺陷.收集了145篇相關(guān)論文,系統(tǒng)地梳理、分析和總結(jié)現(xiàn)有工作.提出了“測(cè)試生成器-測(cè)試環(huán)境”研究框架,將該領(lǐng)域的研究按...

LLM賦能的Datalog代碼翻譯技術(shù)及增量程序分析框架————作者：王熙灶;沈天琪;賓向榮;卜磊;

摘要：Datalog是一種聲明式邏輯編程語(yǔ)言,在不同領(lǐng)域得到了廣泛應(yīng)用.近年來(lái),學(xué)術(shù)界和工業(yè)界對(duì)Datalog的興趣高漲,設(shè)計(jì)并開發(fā)了多種Datalog引擎和相應(yīng)方言.然而,多方言帶來(lái)的一個(gè)問題是以一種Datalog方言實(shí)現(xiàn)的代碼,一般而言不能在另一種方言的引擎上執(zhí)行.因此,當(dāng)采用新Datalog引擎時(shí),需要將現(xiàn)有Datalog代碼翻譯到新方言上.目前的Datalog代碼翻譯技術(shù)可分為人工重寫代碼和人工...

軟件供應(yīng)鏈SBOM關(guān)鍵技術(shù)研究————作者：孫澤雨;吳敬征;凌祥;魏怡琳;羅天悅;武延軍;

摘要：供應(yīng)鏈級(jí)別的開源軟件及組件復(fù)用是當(dāng)前軟件開發(fā)的主流模式.該模式避免了重復(fù)開發(fā),降低了研發(fā)成本,提高了開發(fā)效率,但是也不可避免地存在組件的來(lái)源未知,成分不清,漏洞不明,許可證違規(guī)等問題.為解決上述問題,研究人員提出了軟件物料清單(software bill of material, SBOM). SBOM詳細(xì)列出了構(gòu)成軟件的組件及組件之間的關(guān)系,揭示了潛在的和已知的威脅,使軟件透明化.自提出以來(lái),國(guó)...

　　相關(guān)電子信息期刊推薦

• 省級(jí)桂林電子科技大學(xué)學(xué)報(bào)
• 國(guó)家級(jí)《電子制作》
• 國(guó)家級(jí)《個(gè)人電腦》
• 國(guó)家級(jí)中國(guó)電子商情(通信市場(chǎng))
• 省級(jí)《黑龍江大學(xué)自然科學(xué)學(xué)報(bào)》
• 國(guó)家級(jí)《微計(jì)算機(jī)信息》
• 國(guó)家級(jí)電力技術(shù)
• 北大核心《光學(xué)技術(shù)》
• 國(guó)家級(jí)《世界電子元器件》
• 南大核心《化學(xué)傳感器》
• 北大核心《激光與光電子學(xué)進(jìn)展》
• 國(guó)家級(jí)現(xiàn)代通信
• 省級(jí)《上海信息化》
• 國(guó)家級(jí)《自動(dòng)化技術(shù)與應(yīng)用》
• 省級(jí)數(shù)碼攝影
• 國(guó)家級(jí)《網(wǎng)絡(luò)安全技術(shù)與應(yīng)用》
• 國(guó)家級(jí)信息網(wǎng)絡(luò)
• 北大核心《控制理論與應(yīng)用》
• 北大核心《波譜學(xué)雜志》
• 省級(jí)計(jì)算機(jī)自動(dòng)測(cè)量與控制
• 省級(jí)數(shù)字化用戶
• 省級(jí)移動(dòng)信息
• 國(guó)家級(jí)數(shù)碼印刷
• 北大核心《固體電子學(xué)研究與進(jìn)展》
• 國(guó)家級(jí)《中國(guó)電視》
• 省級(jí)《信息技術(shù)》
• 國(guó)家級(jí)電信快報(bào)
• 國(guó)家級(jí)《數(shù)據(jù)通信》
• 國(guó)家級(jí)大眾硬件
• 省級(jí)《計(jì)算機(jī)技術(shù)與發(fā)展》

　　核心期刊推薦

光電子·激光

電子信息對(duì)抗技術(shù)

激光與光電子學(xué)進(jìn)展

電力電子技術(shù)