高技术通讯
高技術通訊
고기술통신
HIGH TECHNOLOGY LETTERS
2013年
2期
116-122
,共7页
杜跃进%张兆心%王克%杨逍%胡萍
杜躍進%張兆心%王剋%楊逍%鬍萍
두약진%장조심%왕극%양소%호평
域名系统(DNS)%可解析性%量化评估%命题逻辑
域名繫統(DNS)%可解析性%量化評估%命題邏輯
역명계통(DNS)%가해석성%양화평고%명제라집
针对DNS可解析性量化评估问题,提出了基于命题逻辑的DNS可解析性量化评估方法.该方法通过对域名解析依赖关系的分析建立域名解析依赖关系图,结合命题逻辑将域名对DNS服务器的依赖性转换为逻辑图,进而将域名的可解析性问题转换为数理逻辑中的命题公式的可满足性问题;通过对命题公式进行析取范式的转换和对命题变项数最少的简单合取范式的分析,获取域名可解析的最小DNS服务器组合,从而指导DNS服务器的布置和规划;通过对命题公式进行合取范式的转换和对命题变项数最少的简单析取范式的分析,获取域名不可解析的最小DNS服务器组合,从而对这些DNS服务器进行重点防护.以Alex Top 1000域名为例分析了解析依赖关系,经统计计算发现,Alex Top 1000域名解析平均依赖DNS数量为5.58个;域名解析依赖的最小服务器组合在[1,4]区间内,平均值为1.41个;破坏域名解析的最小服务器组合在[1,6]区间内,平均值为2.44个.
針對DNS可解析性量化評估問題,提齣瞭基于命題邏輯的DNS可解析性量化評估方法.該方法通過對域名解析依賴關繫的分析建立域名解析依賴關繫圖,結閤命題邏輯將域名對DNS服務器的依賴性轉換為邏輯圖,進而將域名的可解析性問題轉換為數理邏輯中的命題公式的可滿足性問題;通過對命題公式進行析取範式的轉換和對命題變項數最少的簡單閤取範式的分析,穫取域名可解析的最小DNS服務器組閤,從而指導DNS服務器的佈置和規劃;通過對命題公式進行閤取範式的轉換和對命題變項數最少的簡單析取範式的分析,穫取域名不可解析的最小DNS服務器組閤,從而對這些DNS服務器進行重點防護.以Alex Top 1000域名為例分析瞭解析依賴關繫,經統計計算髮現,Alex Top 1000域名解析平均依賴DNS數量為5.58箇;域名解析依賴的最小服務器組閤在[1,4]區間內,平均值為1.41箇;破壞域名解析的最小服務器組閤在[1,6]區間內,平均值為2.44箇.
침대DNS가해석성양화평고문제,제출료기우명제라집적DNS가해석성양화평고방법.해방법통과대역명해석의뢰관계적분석건립역명해석의뢰관계도,결합명제라집장역명대DNS복무기적의뢰성전환위라집도,진이장역명적가해석성문제전환위수리라집중적명제공식적가만족성문제;통과대명제공식진행석취범식적전환화대명제변항수최소적간단합취범식적분석,획취역명가해석적최소DNS복무기조합,종이지도DNS복무기적포치화규화;통과대명제공식진행합취범식적전환화대명제변항수최소적간단석취범식적분석,획취역명불가해석적최소DNS복무기조합,종이대저사DNS복무기진행중점방호.이Alex Top 1000역명위례분석료해석의뢰관계,경통계계산발현,Alex Top 1000역명해석평균의뢰DNS수량위5.58개;역명해석의뢰적최소복무기조합재[1,4]구간내,평균치위1.41개;파배역명해석적최소복무기조합재[1,6]구간내,평균치위2.44개.
