近日,阿里云和北京大學(xué)合作的論文《Automated Verification of an In-Production DNS Authoritative Engine》(DNS 產(chǎn)品級解析服務(wù)的自動化驗(yàn)證)被國際計(jì)算機(jī)系統(tǒng)頂級會議SOSP 2023主會收錄。論文提出的形式化驗(yàn)證技術(shù),對阿里云基礎(chǔ)設(shè)施網(wǎng)絡(luò)的DNS權(quán)威解析服務(wù)進(jìn)行嚴(yán)格