【摘 要】
：
Strdnd空间模型是一种安全协议分析模型，使用图的形式来描述协议，证明协议的正确性。通过分析研究，本文建立了攻击者模型．并在此基础上运用安全协议的形式化分析方法-strand空间
论文部分内容阅读
Strdnd空间模型是一种安全协议分析模型，使用图的形式来描述协议，证明协议的正确性。通过分析研究，本文建立了攻击者模型．并在此基础上运用安全协议的形式化分析方法-strand空间模型，对公开密钥协议NSPK进行了分析，说明了该方法进行协议分析的过程，证明了该协议在保密性和认证性方面的正确性，并分析了该协议存在的安全缺陷。
其他文献
在设计柔性自动化生产系统时,由于生产系统能同时加工几种不同的零件,因而在输送轨道上就可能发生随行夹具排队和堵塞问题。本文介绍了把确定柔性生产系统中的设备合理配置问
作文教学是小学语文教学的重要组成部分,在提升学生语文综合素养方面发挥着重要作用。在信息技术迅猛发展的今天,小学语文作文教学应充分利用信息技术的诸多优势,结合学生实
湖北省十堰市竹山县地处鄂西北山区、秦巴山腹地,是国家重点贫困县和全省深度贫困县。全县国土总面积3581平方公里,总人口47万人,辖17个乡镇、239个行政村,其中深度贫困乡镇5
作者介绍自己参观1988年芝加哥国际机床博览会(LMTS＇88)观感,主要介绍柔性制造技术及设备(MC、FMC、FMS、CAD/CAM)、数控技术及系统、CAD/CAM系统及软件、表面精整去毛刺等辅
文章对柔性加工系统的结构形式进行分析的基础上概略的讨论了柔性加工系统方案设计的方法;工艺流程及物流输送方式的确定原则,对加工单元、刀具及系统控制方案的选择,循环时
义务教育是国家必须予以保障的公益性事业,事关国家发展和民族未来。义务教育有保障是脱贫攻坚和乡村振兴战略的重要内容,山西省财政厅高度重视,增强思想自觉和行动自觉,加强
针对航空遥感高光谱图像大数据量快速分析的需求,本文提出了一种基于支持向量机(SVM)的航空高光谱赤潮监测方法。首先,利用对数残差法(LRC)归一化高光谱数据。然后,通过RPCL(Rival Penalized Competitive Learning)聚类分析划分训练样本空间从而形成训练样本集,并以支持向量机(SVM)作为识别器,试验结果证明了该方法的有效性。
磁州窑是中国北方著名的民间窑场,其以粗犷豪放、简约质朴的绘画之风形成特有的艺术风格。元代磁州窑鱼藻纹盆以其使用性强和独特的艺术魅力深受大众喜爱,成为元代磁州窑彭城
作者以自己工作的经历说明关于等距度的由来,钻镗床类组合机床精度标准执行状况和对钻镗床类组合机床精度标准发展的看法。
本文介绍苏联制造的一种立轴柔性制造单元.它由加工中心、自动换刀装置、自动换工件装置、排屑及工具和工件冷却系统、液压设备和润滑系统、电气设备和控制系统等部分构成,能