期刊文献+

DNSSEC域名解析的形式化描述及量化分析研究

Formal Description and Quantitative Analysis of DNSSEC Resolution Service
下载PDF
导出
摘要 DNSSEC将公钥体系引入DNS,实现了对数据的完整性、数据来源等验证,有效地保护了域名服务体系的安全.采用扩展的有限自动机对DNSSEC域名解析过程进行了形式化描述,引入DNSKEY,DS,NSEC3信任关系来刻画信任链建立中的信任传递过程.在此基础上,提出了DNSSEC域名解析的量化分析方法,并评估了影响其解析成功率的主要因素.分析发现,DNSSEC解析成功率与递归服务器的响应率基本呈线性关系,而信任链的长度对解析成功率的影响有限,为了保持较高的解析成功率,每级的权威服务器应部署3台以上,DNSSEC请求过程的成功率和DNSSEC验证过程中对特定资源的请求成功率应达到60%以上.上述结论对于深入分析DNSSEC解析成功率的制约因素,对DNSSEC的部署等均有重要的参考价值. DNSSEC将公钥体系引入DNS,实现了对数据的完整性、数据来源等验证,有效地保护了域名服务体系的安全.采用扩展的有限自动机对DNSSEC域名解析过程进行了形式化描述,引入DNSKEY,DS,NSEC3信任关系来刻画信任链建立中的信任传递过程.在此基础上,提出了DNSSEC域名解析的量化分析方法,并评估了影响其解析成功率的主要因素.分析发现,DNSSEC解析成功率与递归服务器的响应率基本呈线性关系,而信任链的长度对解析成功率的影响有限,为了保持较高的解析成功率,每级的权威服务器应部署3台以上,DNSSEC请求过程的成功率和DNSSEC验证过程中对特定资源的请求成功率应达到60%以上.上述结论对于深入分析DNSSEC解析成功率的制约因素,对DNSSEC的部署等均有重要的参考价值.
出处 《计算机研究与发展》 EI CSCD 北大核心 2012年第S2期55-63,共9页 Journal of Computer Research and Development
基金 国家"八六三"高技术研究发展计划基金项目(2007AA01Z444 2011AA010601) 国家自然科学基金项目(60703021 61070185)
关键词 域名服务扩展 形式化描述 域名解析成功率 域名服务器响应率 DNSSEC formal description DNSSEC resolution probability DNSSEC response ratio
  • 相关文献

参考文献17

  • 1王垚,胡铭曾,李斌,闫伯儒.域名系统安全研究综述[J].通信学报,2007,28(9):91-103. 被引量:24
  • 2Yang Hao,Osterweil E,Massey D,et al.Deploying cryptography in Internet-scale systems:A case study on DNSSEC. IEEE Trans on Dependable and Secure Computing . 2011
  • 3Rikitake K,Nogawa H,Tanaka T,et al.An analysis of DNSSEC transport overhead increase. . 2005
  • 4Guette G.Consequences of compromised zone keys in DNSSEC. . 2006
  • 5Deccio C,Sedayao J,Kant K,et al.Quantifying and improving DNSSEC availability. Proc of 20th Int Conf on Computer Communications and Networks . 2011
  • 6Bazan E,Luna C.A formal specification of the DNSSEC model. . 2011
  • 7Babu K,Padmanabhan V,Bhukya W.Reasoning about DNSSEC. Proc of Multi-Disciplinary Trends in Artificial Intelligence . 2011
  • 8Understanding DNSSEC in Windows. http://technet.microsoft.com/en-us/library/ee649277 (WS.10).aspx . 2009
  • 9Guillard.DNSSEC Operational Impact and Performance. Proceeding of the International Multi-Conference on Computing in the Global Information Technology . 2006
  • 10Yang Hao,Osterweil E,Massey D,et al.Deploying cryptography in Internet-scale systems:A case study on DNSSEC. IEEE Trans on Dependable and Secure Computing . 2011

二级参考文献61

共引文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部