檢測(cè)項(xiàng)目

靜態(tài)代碼分析、動(dòng)態(tài)行為監(jiān)測(cè)、惡意代碼識(shí)別、緩沖區(qū)溢出檢測(cè)、身份認(rèn)證強(qiáng)度驗(yàn)證、訪問(wèn)控制策略審計(jì)、加密算法合規(guī)性檢查、日志完整性校驗(yàn)、輸入輸出過(guò)濾機(jī)制評(píng)估、第三方組件漏洞掃描、內(nèi)存泄漏測(cè)試、跨站腳本攻擊防護(hù)驗(yàn)證、SQL注入防御能力測(cè)試、會(huì)話管理安全性審查、數(shù)據(jù)存儲(chǔ)加密強(qiáng)度驗(yàn)證、網(wǎng)絡(luò)協(xié)議脆弱性分析、固件簽名完整性校驗(yàn)、反編譯防護(hù)能力評(píng)估、權(quán)限提升風(fēng)險(xiǎn)診斷、隱蔽信道探測(cè)、異常流量模式識(shí)別、系統(tǒng)后門(mén)排查、代碼混淆有效性驗(yàn)證、API接口安全性測(cè)試、配置錯(cuò)誤審查、安全補(bǔ)丁完整性核查、多線程并發(fā)漏洞掃描、硬件兼容性安全測(cè)試、虛擬化環(huán)境隔離性驗(yàn)證、供應(yīng)鏈污染溯源。

檢測(cè)范圍

軍用嵌入式操作系統(tǒng)內(nèi)核模塊、衛(wèi)星導(dǎo)航定位軟件組件、無(wú)人機(jī)飛控系統(tǒng)固件包、戰(zhàn)術(shù)通信協(xié)議棧實(shí)現(xiàn)代碼、雷達(dá)信號(hào)處理算法庫(kù)、指揮控制系統(tǒng)業(yè)務(wù)邏輯層模塊、電子對(duì)抗設(shè)備驅(qū)動(dòng)程序包、密碼機(jī)密鑰管理單元源碼集、戰(zhàn)場(chǎng)態(tài)勢(shì)感知系統(tǒng)通信接口模塊、裝備健康管理數(shù)據(jù)采集程序包；民用工業(yè)控制PLC邏輯控制器程序包、智能電網(wǎng)SCADA系統(tǒng)核心組件庫(kù)、高鐵信號(hào)調(diào)度系統(tǒng)通信協(xié)議棧實(shí)現(xiàn)代碼、民航ADS-B數(shù)據(jù)處理模塊包；金融交易系統(tǒng)加密中間件庫(kù)；醫(yī)療設(shè)備嵌入式控制程序集；車(chē)聯(lián)網(wǎng)V2X通信協(xié)議實(shí)現(xiàn)代碼；物聯(lián)網(wǎng)設(shè)備OTA升級(jí)固件包；區(qū)塊鏈智能合約字節(jié)碼文件；云平臺(tái)虛擬機(jī)監(jiān)控程序模塊；5G基站基帶處理單元源碼集。

檢測(cè)方法

基于AST抽象語(yǔ)法樹(shù)的靜態(tài)分析技術(shù)：通過(guò)構(gòu)建代碼邏輯結(jié)構(gòu)模型識(shí)別未聲明變量使用與異?？刂屏髀窂健?br/>符號(hào)執(zhí)行引擎：結(jié)合約束求解器對(duì)程序分支路徑進(jìn)行數(shù)學(xué)建模以發(fā)現(xiàn)潛在邊界條件漏洞。
模糊測(cè)試框架：采用遺傳算法生成變異測(cè)試用例觸發(fā)協(xié)議解析異常與內(nèi)存破壞缺陷。
動(dòng)態(tài)污點(diǎn)追蹤系統(tǒng)：實(shí)時(shí)監(jiān)控敏感數(shù)據(jù)流在進(jìn)程間的傳播路徑以定位信息泄露風(fēng)險(xiǎn)點(diǎn)。
形式化驗(yàn)證工具：運(yùn)用模型檢驗(yàn)技術(shù)證明安全關(guān)鍵模塊的時(shí)序邏輯完備性。
二進(jìn)制比對(duì)分析：通過(guò)指令級(jí)差異對(duì)比識(shí)別惡意代碼植入與未授權(quán)功能擴(kuò)展。
功耗側(cè)信道采集：使用高精度示波器測(cè)量芯片運(yùn)行時(shí)的電磁輻射特征以發(fā)現(xiàn)密鑰泄露風(fēng)險(xiǎn)。

檢測(cè)標(biāo)準(zhǔn)

GB/T34943-2017信息安全技術(shù)信息系統(tǒng)安全等級(jí)保護(hù)測(cè)評(píng)要求
GJB8114-2013軍用軟件安全性測(cè)試指南
GB/T36627-2018工業(yè)控制系統(tǒng)信息安全防護(hù)能力評(píng)估方法
GJB/Z170-2013軍用軟件產(chǎn)品驗(yàn)收測(cè)試規(guī)程
GB/T39786-2021信息安全技術(shù)信息系統(tǒng)密碼應(yīng)用基本要求
GJB5000A-2008軍用軟件研制能力成熟度模型
GB/T30276-2020信息安全技術(shù)網(wǎng)絡(luò)安全漏洞分類(lèi)分級(jí)指南
GJB9432-2018軍用嵌入式軟件安全性測(cè)試方法
GB/T22239-2019信息安全技術(shù)網(wǎng)絡(luò)安全等級(jí)保護(hù)基本要求
GJB7688-2012軍用軟件可靠性測(cè)試與評(píng)價(jià)方法。

檢測(cè)儀器

靜態(tài)代碼分析儀：集成多語(yǔ)言解析引擎與規(guī)則庫(kù)的自動(dòng)化掃描平臺(tái)，支持C/C++/Java等語(yǔ)言的缺陷模式匹配。
動(dòng)態(tài)行為監(jiān)測(cè)平臺(tái)：基于硬件虛擬化技術(shù)的運(yùn)行時(shí)監(jiān)控系統(tǒng)，可捕獲進(jìn)程間通信與系統(tǒng)調(diào)用序列。
協(xié)議模糊測(cè)試儀：具備萬(wàn)兆網(wǎng)絡(luò)接口的專用硬件設(shè)備，支持自定義協(xié)議模板的智能變異測(cè)試。
電磁泄漏探測(cè)裝置：包含近場(chǎng)探頭陣列與頻譜分析模塊的復(fù)合式測(cè)量系統(tǒng)。
二進(jìn)制逆向工作站：配備反匯編引擎與調(diào)試插件的專用分析環(huán)境。
密碼算法驗(yàn)證器：集成國(guó)密算法實(shí)現(xiàn)與側(cè)信道分析功能的密碼模塊測(cè)試臺(tái)。
固件燒錄校驗(yàn)器：具備哈希值比對(duì)與簽名驗(yàn)證功能的自動(dòng)化燒錄設(shè)備。
內(nèi)存取證分析儀：支持物理內(nèi)存鏡像提取與結(jié)構(gòu)化數(shù)據(jù)恢復(fù)的科學(xué)工具套件。

檢測(cè)報(bào)告作用用作

銷(xiāo)售報(bào)告：出具正規(guī)第三方檢測(cè)報(bào)告讓客戶更加信賴自己的產(chǎn)品質(zhì)量，讓自己的產(chǎn)品更具有說(shuō)服力。

研發(fā)使用：擁有優(yōu)秀的檢測(cè)工程師和先進(jìn)的測(cè)試設(shè)備，可降低了研發(fā)成本，節(jié)約時(shí)間。

司法服務(wù)：協(xié)助相關(guān)部門(mén)檢測(cè)產(chǎn)品，進(jìn)行科研實(shí)驗(yàn)，為相關(guān)部門(mén)提供科學(xué)、公正、準(zhǔn)確的檢測(cè)數(shù)據(jù)。

大學(xué)論文：科研數(shù)據(jù)使用。

投標(biāo)：檢測(cè)周期短，同時(shí)所花費(fèi)的費(fèi)用較低。

準(zhǔn)確性較高;工業(yè)問(wèn)題診斷：較短時(shí)間內(nèi)檢測(cè)出產(chǎn)品問(wèn)題點(diǎn)，以達(dá)到盡快止損的目的。

我們的承諾

　　北京中科光析科學(xué)技術(shù)研究所承諾：我們將根據(jù)不同產(chǎn)品類(lèi)型的特點(diǎn)，并結(jié)合不同行業(yè)和國(guó)家的法規(guī)標(biāo)準(zhǔn)，選擇適當(dāng)?shù)臋z測(cè)項(xiàng)目和方法進(jìn)行分析測(cè)試，或根據(jù)您的要求進(jìn)行試驗(yàn)分析。為了不斷改進(jìn)我們的工作，我們致力于提高產(chǎn)品質(zhì)控分析、使用性能檢測(cè)能力，并持續(xù)加強(qiáng)我們團(tuán)隊(duì)的科研技術(shù)。同時(shí)，我們將積極跟進(jìn)新的技術(shù)和標(biāo)準(zhǔn)，以最大程度地滿足您的需求和市場(chǎng)要求。