密码学与非确定型图灵机.pdfVIP

第6期 ．fr嘲鼋； 譬嗣f雹囊奄衩 Vo1．3No．6 2008年 12月 JournalofCAEIT Dec． 20o8 密码学与非确定型图灵机 杨正瓴 (天津大学 电气与 自动化工程学院，天津 300072) 摘 要：密码学是信息和网络安全的主要基础，计算机科学是密码学的主要基础，“P对NP”问题又 是理论计算机科学的基础问题。首先介绍确定型图灵机DTM、非确定型图灵机NDTM的基本概 念，接着介绍 “P对NP”问题的基本含义。然后介绍计算机科学家StephenCook在2003年的观点： 如果证明了P等于NP，那么依据计算复杂性的密码术就是没有用途的；如果证明了P不等于NP， 那么证明RSA、DES等密码术的安全性比解决 “P对NP”问题还困难。 关键词：信息和网络安全；密码学；计算机科学；非确定型图灵机；P对NP 中图分类号：TN918；TP301．5 文献标识码：A 文章编号：1673-5692(2008)06—558-05 CryptologyandNon-deterministicTuringM achine YANG Zheng—ling (SchoolofElectricalEngineering＆Automation，TianjinUniversity，Tianjin300072，China) Abstract：Cryptologyistheprimaryofundationofinformationandnetworksecurity，computerscienceis themainbaseofcryptology，andthe “PversusNP”isthemostimportantproblem intheoreticalcomput— erscience．Firstly，theconceptionsofdeterministicTuringmachineDTM andnon—detemr inisticTuring machineNDTM arerestated．Secondly，themeaningoftheproblem “PversusNP”isexplained．Lastly， StephenCook’Sviewpointsin2003areintroduced：IfPequalsNP，complexity—basedcryptographywould becomeimpossible；IfPdoesnotequalNP，provingthesecurityofcryptographicprotocolssuchasRSA orDESismuchharderthansolving “PversusNP”． Keywords：infomr ation andnetwork security；cryptology；computerscience；non—detemr inisticTufing machine；PversusNP 储的一门科学，其中数据通常采用秘密的方式。密 0 引 言 码学包括密码编码学 (cryptography)和密码分析学 (cryptanalysis)。”现在，密码学主要指对信息及其传 为便于阅读和理解有关内容，本文不打算采用 输的数学性研究。从学科划分上，密码学一般被认 过于形式化的(forma1)数学形式来进行表述，而尽 为是数学和计算机科学的分支，和信息论也密切相 可能采用直观的自然语言。为弥补这种不足，有关概 关。现代密码学使用的具体数学分支，包括：信