论文部分内容阅读
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计算模型，论证扩展标记符号模型的计算可靠性，实现对MW方法的扩展。
具有计算可靠性的符号模型
【摘 要】
：
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计算模型，论证扩展标记符号模型的计算可靠性，实
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
计算机工程
【发表日期】
：
2009年13期
其他文献
目的探讨宫颈液基细胞学检查与人乳头状瘤病毒检测联合应用在宫颈病变筛查中的意义。方法选取2010年3月-2011年12月孝感市中心医院病理科同时进行了宫颈液基细胞学(TCT)检查
经济增长是经济发展的基础,只有经济发展了,才能证明社会主义制度的优越性,本文重点阐述哈罗德-多马模型、新古典增长模型、索洛的增长率分解分析对中国经济增长问题的启示.
近年来,洗钱犯罪严重威胁世界政治和经济秩序,已经成为世界各国及国际社会面临的一大公害,必须严厉打击.围绕这一问题我们对山西省金融机构反洗钱工作的现状进行了调研,并就
近十年来,国际上信用风险的度量方法和管理方式正进行着一场革命,银行信用风险管理的技术、工具和方法得到了长足的发展。2004年6月巴塞尔新资本协议的出台就是信用风险量化
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
1依托企业集团的小企业发展模式企业集团是现代企业高度发展基础上形成的一种以母公司为主体,通过产权关系和生产经营协作等多种方式,由众多的企事业法人组织共同组成的经济
本研究针对职业价值观问题选取宝鸡文理学院学前教育专业大学生进行了调查,结果显示,大学生认为"就业前景、自我发展、收入、物质生活、兴趣、家人意见"这六个价值因素是影响
代建制是一种由项目出资人委托有相应资质的项目代建人对项目的可行性研究、勘察、设计、监理、施工等全过程进行管理,并按照建设项目工期和设计要求完成建设任务,直至项目竣
运用多弧离子镀的方法,在1Cr13不锈钢及黄铜镀铬基体的表面上制备了氮化钛仿金装饰膜层.对氮化钛装饰膜层的色泽进行了研究,发现膜层具有装饰效果的黄金色彩,并讨论了镀膜工