论文部分内容阅读
在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。
一种时间相关的分析安全协议的扩展逻辑
【摘 要】
：
在对CS逻辑进行研究的基础上,提出了CS逻辑的扩展逻辑。该扩展逻辑对CS逻辑中存在的一些缺陷进行了修改和扩展,使其不仅可以分析公钥协议,还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。
【机 构】
：
山东大学,山东大学
【出 处】
：
计算机应用
【发表日期】
：
2005年10期
其他文献
《野草》与《老人与海》虽是不同国度不同民族不同时代不同作家的作品，却在内面精神上有着出人意料的惊人的一致性和共通性。本文试图揭示出其中相通性特质，以此给人某些方面的
本文综述合成洗衣粉对生产工人的健康影响。文献资料指出洗衣粉和它的成分为低毒性的。苏联目前使用最广泛的荷花（）、时代（）和奥卡（Oka）三个牌号洗衣粉,小鼠灌胃LD<sub>?</sub>分别
在弥漫性间质纤维化的肺标本中如没有发现无机微粒,又排除其它原因,常诊断为特发性肺纤维化,众所周知、偏光显微镜是难以发现微小直径的无机微粒特别是石棉纤维,现应用更为灵
对管式间接蒸发冷却空调机组进行了实验研究。分析了进口空气干球温度、相对湿度对空调机组降温及冷却效率的影响,为提高对管式间接段蒸发冷却空调机组性能的了解具有一定的
急性一氧化碳(CO)中毒在不少国家仍是危害人民健康的严重疾病,也是中毒死亡的主要原因。由于许多非致命性的CO中毒事故无法检测,因此确切的中毒人数尚难以估计,即使健康监护
畜牧业是久治县主导、支柱性产业,畜牧业的发展对社会稳定,增加牧民群众收入,使广大牧民群众脱贫致富,促进民族经济发展具有重要意义.因此,发展久治县民族经济应当首先加快畜
由于文本文档数量多、词量大,形成的文档空间维度高,很多自动文本分类算法不能直接有效地发挥作用。基于差异—相似矩阵(DSM)的方法在很大程度上降低了文档空间的维度。已经分好类的文集经过预处理后被表示成特征项—文档矩阵,再转化为差异—相似矩阵,其中同类文档采用相似项描述,而异类文档则采用差异项描述。通过对差异—相似矩阵的处理,最终得到维度较低的文本特征集,并同时生成分类规则。实验说明,对于大规模文集,
建筑立面绿化具有很强的降温节能潜力。通过分析立面绿化植被层存在的得/散热作用项,并对每一热作用项的数学表达进行研究,最终建立适合建筑立面绿化植被层的能量平衡数学模
选用本地小尾寒羊60只,随机分为试验1组、试验2组、对照组3组,每组20只.试验1组在饲喂基础日粮中每只添加"牛羊壮"20g;试验2组在同等条件下,每只添加"牛羊肥"20g;对照组只喂