【摘 要】
：
在介绍串空间理论基本概念、攻击者模型以及Kerberos协议的基础上,利用串空间理论得出Kerberos各协议参与主体和攻击者的迹,构造了协议的串空间,给出了Kerberos协议的丛图。
论文部分内容阅读
在介绍串空间理论基本概念、攻击者模型以及Kerberos协议的基础上,利用串空间理论得出Kerberos各协议参与主体和攻击者的迹,构造了协议的串空间,给出了Kerberos协议的丛图。在证明一个定理的基础上,使用启发式和反证法的思路,证明了认证服务器分配给客户端和应用服务器会话密钥的保密性,即攻击者从现有知识和构造能力无法推导出服务器分配给客户端和应用服务器的会话密钥;证明了客户端和认证服务器以及客户端和应用服务器能够相互认证,得出了Kerberos协议正确性的结论。
其他文献
第二外语是高校英语专业学生的必修课,德语作为可选语言之一,在发音、词汇等方面和英语既有相似之处,在许多细节上又完全不同。根据认知心理学的学习迁移理论,在德语教学活动
随着信息技术的发展和进步,电子政务得到迅速发展,针对当前审计业务中繁重的工作任务、办事效率低等问题,为了解决公安厅审计办公中涉及的繁重的工作任务从而提高工作效率。
投射是一种复杂的语言现象。很多国内外学者已从哲学、文体学、句法学、语用学等方面对投射进行了研究。系统功能语言学主要从逻辑-语义关系的角度来探讨投射。韩礼德(2000：25
寺庙在过去是兼有旅馆功能的。事情就是这么巧,莺莺和张生在同一时间成了同一处寺庙的房客。一座大雄宝殿,西侧住了个才子,东侧住了个佳人,这样一种颇为暧昧的居住格局,再配
研究L-赖氨酸与D-核糖的模式美拉德反应(L-赖氨酸的氨基与D-核糖的羰基的物质量之比分别为1:1、1:2和2:1),考察了三个体系反应过程中产物pH值、吸光度的变化,并以金属螯合能
采用模糊数学理论与方法,并将层次分析法(AHP)与模糊综合评判相结合,在充分考虑房地产自身特点的基础上,建立房地产项目销售预测模型。提出一种简便的定量化研究方法及步骤,
<正> 在人类印刷技术发展的历史上,大约有三座耀眼的里程碑。一座是雕版印刷术的发明,一座是活字印刷术的发明,一座是激光照排的创造。前两座丰碑都是中华民族缔造的,这久已
《金色笔记》是英国女作家多丽丝·莱辛最著名的一部小说。这部作品最吸引读者的地方在于小说的主人公安娜为了获取女性解放,做出了许许多多的努力。解读小说的另一名主要人
在第十六届中国绿色食品博览会期间举办的中国绿色食品事业发展座谈会上,农业部副部长陈晓华对绿色食品事业发展25年所取得的重要成绩做了系统回顾,并在此次座谈会上提出今后
为了综合开发诺丽系列食品,分析研究诺丽果和叶中主要营养与功能性物质的分布与营养价值。结果表明:叶子中的蛋白质、脂肪和水分的含量要明显高于果实(p<0.05),而还原糖和VC