| 杜跃进,张兆心,王克,杨逍,胡萍.基于命题逻辑的DNS可解析性量化评估模型[J].高技术通讯(中文),2013,23(2):116~122 |
| 基于命题逻辑的DNS可解析性量化评估模型 |
| Quantitative evaluation model of DNS resolvability based on propositional logic |
| 修订日期：2012-05-13 |
| DOI： |
| 中文关键词: 域名系统（DNS）， 可解析性， 量化评估， 命题逻辑 |
| 英文关键词: domain name system （DNS）, resolvability, quantitative evaluation, propositional logic |
| 基金项目:863计划（2007AA010503），国家自然科学基金（61100189， 61003261），山东省中青年科学家奖励基金（BS2011DX001），威海市科技攻关（2010 3 96）和哈尔滨工业大学科研创新基金（HIT.NSRIF.2011119）资助项目 |
| 作者 | 单位 | | 杜跃进 | 哈尔滨工业大学；国家计算机网络应急技术处理协调中心；北京邮电大学 | | 张兆心 | 哈尔滨工业大学；中国科学院计算技术研究所 | | 王克 | 哈尔滨工业大学 | | 杨逍 | 哈尔滨工业大学 | | 胡萍 | 哈尔滨工业大学 |
|
| 摘要点击次数: 3393 |
| 全文下载次数: 2547 |
| 中文摘要: |
| 针对DNS可解析性量化评估问题，提出了基于命题逻辑的DNS可解析性量化评估方法。该方法通过对域名解析依赖关系的分析建立域名解析依赖关系图，结合命题逻辑将域名对DNS服务器的依赖性转换为逻辑图，进而将域名的可解析性问题转换为数理逻辑中的命题公式的可满足性问题；通过对命题公式进行析取范式的转换和对命题变项数最少的简单合取范式的分析，获取域名可解析的最小DNS服务器组合，从而指导DNS服务器的布置和规划；通过对命题公式进行合取范式的转换和对命题变项数最少的简单析取范式的分析，获取域名不可解析的最小DNS服务器组合，从而对这些DNS服务器进行重点防护。以Alex Top 1000域名为例分析了解析依赖关系，经统计计算发现，Alex Top 1000域名解析平均依赖DNS数量为5.58个；域名解析依赖的最小服务器组合在［1,4］区间内，平均值为1.41个；破坏域名解析的最小服务器组合在［1,6］区间内，平均值为2.44个 |
| 英文摘要: |
| To solve the problem of quantitative evaluation of DNS resolvability, a method for quantitative evaluation of DNS resolvability based on propositional logic is presented below: establishing the dependence relation graph of domain name resolution through analyzing the dependence of domain name resolution, and transforming the dependency of a domain on a DNS server into a logic graph using the propositional logic; finding the smallest name resolvable DNS server set through the proposition formulae’s DNF (disjunctive normal form) transformation and the analysis of the simple CNF (conjunctive normal form) with the minimum number of propositional variations to direct the layout of servers; making proposition formulae’s CNF transformation and the analysis of the simple DNF with the minimum number of propositional variations to find the smallest name resolvable DNS servers to emphatically protect the DNS servers. Based on the analysis of the Alex top 1000 domain, it can be found by statistical calculation that the a verage dependent DNS number of resolution in Alex Top 1000 is 5.58, the mini number servers of domain resolution are in ［1,4］ with the average number of 1.41, and the mini number servers of damaging domain resolution are in ［1,6］ with the average number of 2.44 |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
