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

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

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

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

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

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

近年來，隨著越來越多頭部企業(yè)加入合作，“望安科技”業(yè)績也是突飛猛進?！坝绕湓谇皟赡?，公司業(yè)績實現(xiàn)每年翻番?！标惤鞅硎荆緩穆涞氐竭\營，柯橋經(jīng)開區(qū)（金柯橋科技城）在前期對接洽談、服務(wù)保障等方面給予了諸多幫助，讓企業(yè)更快駛?cè)氚l(fā)展“快車道”。

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

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

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

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

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

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