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