论文部分内容阅读
提出了一种分析密码协议的新逻辑。针对信息安全的需要，给出了一套与加解密、签名等密码学操作有关的构造和推理规则，举例说明此逻辑在分析密码协议中的应用，并讨论了需要进一步研究的问题。
一种分析密码协议的新逻辑
【摘 要】
：
提出了一种分析密码协议的新逻辑。针对信息安全的需要，给出了一套与加解密、签名等密码学操作有关的构造和推理规则，举例说明此逻辑在分析密码协议中的应用，并讨论了需要进一步
【机 构】
：
西安理工大学应用数学系
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年30期
其他文献
单元测试的目标是检验程序模块的正确性，从而为集成测试、系统测试提供符合预期效果的部件。随着对软件质量保证的要求提高，许多单元测试的技术已相继提出。但由于软件运行环境
我国分布着广阔的可溶性岩类。我局的京广、湘黔、湘桂、焦柳以及近期通车的三茂等铁路,都有很大部分路段通过岩溶地区。据调查统计(不包括三茂线):我局有岩溶路基430余km,占
为了更好地研究汉字信息输入系统，提高汉字输入速度，解决汉字输入的“瓶颈”问题，通过对以西文为背景的经典自动机理论的研究，给出了能够描述汉字有穷自动机所接受语言的正规表达
<正> 1 概述 路基边坡为防止雨水冲蚀通常是砌石护坡(浆砌或干砌)做为主要防护措施。以铺植草皮取代砌石护坡,目前在新建铁路设计、施工中尚未被广泛采用。在胶(州)黄(岛)线
目的：观察加用β-七叶皂甙和复方甘油果糖治疗急性脑梗死的疗效及安全性。方法：将60例经头颅CT确诊的脑梗死患者随机分为2组,2组均给予溶栓、降颅压、神经细胞营养等常规治疗。
摘要：为了适应城市学院人才培养模式，本课题组提出改革机械制造模块课程体系的思想。本三的机械制造模块以《机械制造工程学》、《数控技术》课程群为主线；以《生产实习》、《专业方向课程设计》、《专业方向实践课》作为实践平台，构建“课程教学 实践平台”的课程体系，培育学生在制造模块机械加工过程的整体知识，通过“课堂教学”拓宽知识，通过“实践平台”包括实验、实习、设计及工厂调研加深理解，提高动手能力，使学生了
植入式广告(Product Placement)是一种广告营销手段,它是指广告商或生产公司为了销售产品,把产品或其服务具有代表性的视听品牌符号融入视听媒体中,使受众在观看电视、电影及
为初步弄清复合盐对小麦幼苗的毒害机理,采用室内水培法研究了不同浓度复合盐对小麦幼苗生理活性的影响。结果表明：在复合盐胁迫下,小麦幼苗的过氧化物酶活性、脯氨酸含量和丙
为探索金线兰愈伤组织的诱导和细胞培养技术,以金线兰根状茎、幼茎、叶片和离体胚为外植体,2,4-D、NAA、6-BA和ZT 4种激素采用L9（34）正交试验设计,对外植体愈伤组织诱导的条件