3424
1
0
2017-01-26 12:36:02
2017-01-26
轉(zhuǎn)自
2017-01-26 jos編輯部 軟件學(xué)報(bào)
隨著計(jì)算機(jī)硬件設(shè)備計(jì)算性能的迅速提高,、成本的大幅減低，支撐應(yīng)用與硬件的軟件及其應(yīng)用領(lǐng)域的不斷拓寬，近年來移動(dòng)計(jì)算,、物聯(lián)網(wǎng),、信息物理融合系統(tǒng)等系統(tǒng)領(lǐng)域的相關(guān)熱點(diǎn)不斷出現(xiàn),，軟件已經(jīng)成為計(jì)算機(jī)系統(tǒng)與應(yīng)用的核心關(guān)鍵,。然而，軟件因?yàn)榇嬖诼┒炊菀妆焕门c攻擊,，成為最大的安全威脅,。面向軟件安全大力開展漏洞檢測是網(wǎng)絡(luò)空間安全領(lǐng)域國內(nèi)外學(xué)者的研究共識(shí)與關(guān)注點(diǎn)。
與此同時(shí)，軟件與系統(tǒng)的規(guī)模和復(fù)雜性急劇增加,、在民生和安全關(guān)鍵領(lǐng)域大量部署,、實(shí)現(xiàn)語言的多樣性、程序員經(jīng)驗(yàn)參差不齊,、軟件運(yùn)行環(huán)境的異構(gòu)性,、在軟件開發(fā)運(yùn)行和演化的不同階段軟件制品形態(tài)的多樣性等等,，對軟件安全漏洞的挖掘,、分析、測試,、驗(yàn)證,、確認(rèn)、修復(fù),、攻擊,、防御、加固等技術(shù)的研究帶來新的挑戰(zhàn),，也將持續(xù)成為網(wǎng)絡(luò)空間安全的研究熱點(diǎn),。
本專刊將收錄國內(nèi)外有關(guān)軟件安全漏洞檢測研究中具有創(chuàng)新性和突破性的高水平研究成果,，探討軟件與系統(tǒng)研發(fā),、測試、運(yùn)行,、演化等不同階段,，進(jìn)行軟件安全漏洞檢測的新方法、技術(shù)與工具的研究和開發(fā)過程中,，解決的難題和挑戰(zhàn),、所取得的理論、技術(shù)或?qū)嶒?yàn)方面的實(shí)質(zhì)性進(jìn)展,，及其在中國軟件產(chǎn)業(yè)和相關(guān)領(lǐng)域的應(yīng)用前景,。專刊將與全國軟件與應(yīng)用學(xué)術(shù)會(huì)議（NASAC2017）合作,，收錄論文經(jīng)過評審,、并在NASAC2017上報(bào)告后將在2018年第5期出版專刊,，讀者群體包括系統(tǒng)軟件,、軟件工程、網(wǎng)絡(luò)空間安全及相關(guān)領(lǐng)域的研究人員和專業(yè)工程師等,。
?？}目：軟件安全漏洞檢測
特約編輯：王林章,陳愷,王戟
出版時(shí)間：2018年第5期
一、征文范圍
包括但不限于以下主題：
（1）軟件,、網(wǎng)絡(luò)與系統(tǒng)的安全漏洞模型與利用機(jī)理
（2）程序設(shè)計(jì)語言安全與漏洞
（3）面向軟件安全漏洞檢測的程序分析,、測試,、驗(yàn)證和監(jiān)控技術(shù)
（4）面向軟件安全漏洞檢測的形式化方法
（5）基于機(jī)器學(xué)習(xí)的軟件安全漏洞挖掘方法
（6）針對漏洞攻擊的防御技術(shù)
（7）基于源代碼的漏洞自動(dòng)修復(fù)方法
（8）基于漏洞的編譯時(shí)／運(yùn)行時(shí)加固技術(shù)
（9）軟件、網(wǎng)絡(luò)與系統(tǒng)安全漏洞檢測工具,、應(yīng)用及評測
（10）軟件安全漏洞庫及漏洞檢測基準(zhǔn)
（11）面向移動(dòng)平臺(tái),、物聯(lián)網(wǎng)、大數(shù)據(jù)系統(tǒng),、存儲(chǔ)系統(tǒng)及云環(huán)境等特定平臺(tái)的漏洞檢測
（12）面向特定領(lǐng)域與交叉學(xué)科的軟件安全漏洞檢測
二,、投稿要求
1. 投稿方式：采用“軟件學(xué)報(bào)在線投稿系統(tǒng)”(http://www.jos.org.cn)投稿。投稿時(shí)請?jiān)趥渥谥凶⒚鳌败浖踩┒礄z測”字樣,。
2. 稿件格式：參照《軟件學(xué)報(bào)》論文格式(網(wǎng)站上提供了論文模版,，可下載)。
3. 投稿文章未在正式出版物上發(fā)表過,，也不在其他刊物或會(huì)議的審稿過程中,，不存在一稿多投現(xiàn)象；保證投稿文章的合法性(無抄襲,、剽竊,、侵權(quán)等不良行為)。
4. 其他事項(xiàng)請參閱投稿指南
http://www.jos.org.cn/ch/reader/view_fixed_content.aspx?id=instructions
5. 投稿作者需提交投稿聲明,；?？陡逦恼虏皇諏徖碣M(fèi)。錄用刊發(fā)文章收取軟件學(xué)報(bào)標(biāo)準(zhǔn)版面費(fèi),。發(fā)表之后,，將按軟件學(xué)報(bào)標(biāo)準(zhǔn)支付稿酬，并贈(zèng)送樣刊,。
6.通過階段評審的論文,，需在2017年CCF系統(tǒng)軟件專委會(huì)、軟件工程專委會(huì)承辦的全國軟件與應(yīng)用學(xué)術(shù)會(huì)議NASAC2017（2017年11月3-5日,，哈爾濱）上做學(xué)術(shù)報(bào)告,，根據(jù)論文修改情況和會(huì)議報(bào)告情況終審確定是否錄用。
三,、重要時(shí)間
論文截稿時(shí)間：2017年7月1日
評審意見通知時(shí)間：2017年9月20日
NASAC2017報(bào)告日期：2017年11月3-5日（哈爾濱）
論文修改稿提交日期：2017年11月20日
終審結(jié)果發(fā)出日期：2017年11月30日
最終稿提交日期：2017年12月15日
出版日期：2018年第5期
