基于认证测试的鲁棒电子邮件协议形式化分析(英文)   总被引：1，自引：0，他引：1  

蒋睿  胡爱群 《东南大学学报》2009,25(2):147-151

基于认证测试方法及strand space模型,形式化分析了具有完美前向机密性的鲁棒电子邮件协议,指出该协议存在安全缺陷.同时给出了针对该协议的中间人攻击方法,即攻击者在协议的接收阶段通过伪造消息即可欺骗通信双方,使通信双方与其共享错误的会话密钥,由此使得协议的完美前向机密性得不到保证,针对协议的上述缺陷,提出一种改进方案,即通过在协议的接收阶段加入相应的签名信息,以保证改进协议能够克服中间人攻击并且提供完美前向机密性.最后,基于认证测试方法及strand space模型,形式化证明了改进协议在发起者、接收者及服务器之间的安全认证,确保了改进协议具备真正的完美前向机密性.  相似文献   

叶公超对艾略特传统诗学观的借鉴与超越     

蒋睿 《涪陵师范学院学报》2010,26(2)

叶公超中西学养深厚,而且深受英美现代派的影响,他的许多观念来自于艾略特,尤其是他回归传统的意识,和艾略特如出一辙。但他能够创造性地把这些观念运用于中国文学的实际,重视格律诗对中国新诗的建设性作用,为中国新诗形式建立提出了许多具有指导性的建议和具体的创造原则与方法。  相似文献