论文部分内容阅读
本文旨在研究可靠易行的安全协议设计方法，给出了一种新的安全协议设计方法及其示例，使用这种方法,安全协议可以容易并有效地生成。
一种基于CK模型的安全协议设计方法
【摘 要】
：
本文旨在研究可靠易行的安全协议设计方法，给出了一种新的安全协议设计方法及其示例，使用这种方法,安全协议可以容易并有效地生成。
【机 构】
：
北京大学,计算机科学技术系,北京,100871
【出 处】
：
第十四届中国计算机学会网络与数据通信学术会议
【发表日期】
：
2004年期
其他文献
台湾金线莲Anoectochilusformosanus为兰科开唇兰属植物,又称"宝石兰",分布于中国、日本、斯里兰卡等国,是一种珍贵的药用植物.本文研究了濒危植物台湾金线莲种子播种材
会议
松果菊属药用植物是闻名于西方的"免疫"草药,近年在西方草药市场的销售额一直名列前茅.5年来,北京大学药学院与北京市怀柔区药用植物研究所合作,就该所引种的松果菊Echin
会议
目的:为了保护浙贝母系列中的珍贵种质资源,增强浙江道地药材的竞争优势.方法:1.对于贝母原植物特征、性状特征、显微特征、理化特征进行了探讨,提出于贝母四大鉴别要点.
会议
本文旨在研究路由协议OSPF的QoS扩展问题，提出了一个基于自适应资源预约QoS分级模型的OSPF扩展算法，结果表明,该算法能有效地利用资源,向不同用户提供稳定的分类的服务质量
目的从变黑雷松藻(Lessonia nigrescence)的根部和茎部中分别提取分离得到2种褐藻胶(LNA1,LNA2)和2种褐藻糖胶(LNF1,LNF2),在对其进行理化性质和结构分析基础上,进一步对其抗
本文通过分析网格QoS的特点,建立了网格环境下QoS参数映射转换所依据的QoS层次结构模型,在此基础上分析了基于QoS的网格资源分配管理的内容，建立了网格环境下基于QoS的资
本文旨在研究解决一般接纳控制算法不稳定,粒度粗等缺陷的方法，提出了一种基于多级过滤的QoS接纳控制算法，该算法具有快速的收敛特性,同时能够提供粒度更细的QoS接纳控制策
2020年的冬天如此漫长,春节如此凄清.虽然早已立春,寒风仍在凛冽地吹,春暖花开、风和日丽的日子已经成了一种奢望.rn新型冠状病毒肺炎(简称新冠肺炎)实时疫情图表上,那一个个
期刊
本文提出了Web页面聚类算法PageCluster及相应的改进算法ImPageCluster，提出了聚类算法PageCluster及相应的改进算法ImPageCluster，与传统聚类算法相比,该算法不需要事先给