從起初的課題研發(fā)到人才項(xiàng)目成功孵化，從三五人的初創(chuàng)團(tuán)隊(duì)發(fā)展到近百人規(guī)模，從深耕國(guó)內(nèi)市場(chǎng)到開(kāi)拓海外新業(yè)務(wù)……在數(shù)字經(jīng)濟(jì)浪潮奔涌的當(dāng)下，浙江望安科技有限公司以獨(dú)特的形式化驗(yàn)證技術(shù)，在數(shù)字和信息安全領(lǐng)域書(shū)寫(xiě)柯橋企業(yè)搶得數(shù)字經(jīng)濟(jì)機(jī)遇的創(chuàng)業(yè)創(chuàng)新故事。

搶灘數(shù)字經(jīng)濟(jì)賽道

人才項(xiàng)目快速發(fā)展

走進(jìn)位于科創(chuàng)大廈的“望安科技”辦公場(chǎng)所，年輕工程師團(tuán)隊(duì)正忙著對(duì)小米、新華三等幾個(gè)大項(xiàng)目進(jìn)行安全分析，嘗試著突破一項(xiàng)項(xiàng)技術(shù)難關(guān)。而貫穿這項(xiàng)工作始終的，正是形式化驗(yàn)證這一關(guān)鍵詞。

何為形式化驗(yàn)證？“望安科技”總經(jīng)理陳建明解釋道，簡(jiǎn)單來(lái)說(shuō)就是“用數(shù)學(xué)的方式來(lái)驗(yàn)證一段代碼的安全性”，通過(guò)嚴(yán)密的邏輯演算，從根源上確保代碼不存在安全漏洞。這一核心技術(shù)，如今在“望安科技”的創(chuàng)新突破下，已成功應(yīng)用于高鐵控制系統(tǒng)、無(wú)人機(jī)導(dǎo)航模塊、智能手機(jī)操作系統(tǒng)等關(guān)鍵領(lǐng)域，使得其系統(tǒng)安全等級(jí)提升至更高標(biāo)準(zhǔn)。

人才和技術(shù)可以說(shuō)是“望安科技”的核心所在。三年前，“望安科技”申報(bào)市級(jí)人才項(xiàng)目，進(jìn)而順利落地柯橋經(jīng)開(kāi)區(qū)（金柯橋科技城），公司創(chuàng)始人、董事長(zhǎng)趙永望深耕形式化驗(yàn)證領(lǐng)域逾二十載，其研發(fā)成果應(yīng)用于航空、航天、無(wú)人系統(tǒng)等關(guān)鍵領(lǐng)域，也吸引了中國(guó)移動(dòng)、小米集團(tuán)、新華三等行業(yè)龍頭紛紛拋來(lái)“橄欖枝”。

近年來(lái)，隨著越來(lái)越多頭部企業(yè)加入合作，“望安科技”業(yè)績(jī)也是突飛猛進(jìn)。“尤其在前兩年，公司業(yè)績(jī)實(shí)現(xiàn)每年翻番?！标惤鞅硎?，公司從落地到運(yùn)營(yíng)，柯橋經(jīng)開(kāi)區(qū)（金柯橋科技城）在前期對(duì)接洽談、服務(wù)保障等方面給予了諸多幫助，讓企業(yè)更快駛?cè)氚l(fā)展“快車(chē)道”。

重塑出海認(rèn)證新生態(tài)

護(hù)航本土企業(yè)“走出去”

隨著“一帶一路”持續(xù)深入推進(jìn)，中國(guó)本土企業(yè)出海面臨日益嚴(yán)苛的網(wǎng)絡(luò)安全認(rèn)證要求?！巴部萍肌泵翡J洞察到這一商機(jī)，3月下旬成功與歐盟頭部安全評(píng)估實(shí)驗(yàn)室CCLAB達(dá)成戰(zhàn)略合作，共同搭建起國(guó)內(nèi)首個(gè)EUCC（歐盟通用認(rèn)證標(biāo)準(zhǔn)）本地化服務(wù)平臺(tái)，助力本土企業(yè)出海拓市。

國(guó)內(nèi)一家電力龍頭企業(yè)出口歐洲的認(rèn)證項(xiàng)目，成為該平臺(tái)首個(gè)適用案例——“望安科技”作為國(guó)內(nèi)信息安全認(rèn)證領(lǐng)域的先行者，使該企業(yè)智能電表產(chǎn)品順利獲得進(jìn)入歐盟市場(chǎng)的“數(shù)字通行證”。

“隨著越來(lái)越多出海企業(yè)突破海外市場(chǎng)準(zhǔn)入壁壘，不僅構(gòu)建起信息安全的良好生態(tài)，也為今后實(shí)現(xiàn)完全國(guó)產(chǎn)替代起了好頭?！标惤鞅硎?，以往海外認(rèn)證的業(yè)務(wù)基本被德國(guó)萊茵、SGS等外資機(jī)構(gòu)所壟斷，這次公司達(dá)成戰(zhàn)略合作，不僅使得認(rèn)證周期進(jìn)一步縮短、認(rèn)證成本進(jìn)一步降低，更意味著中國(guó)企業(yè)終于握住了網(wǎng)絡(luò)安全國(guó)際認(rèn)證的主動(dòng)權(quán)。

正如趙永望所言，用數(shù)學(xué)的確定性對(duì)抗網(wǎng)絡(luò)空間的不確定性，這是中國(guó)網(wǎng)絡(luò)安全企業(yè)必須攀登的技術(shù)高峰。