论文部分内容阅读
通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.
数字签名过程的一个形式描述和验证
【摘 要】
：
通过引入一些新概念,利用Biba模型思想,对一般的数字签名方案形式化描述和验证,并且该模型具有完整性.
【机 构】
：
内江师范学院计算机与信息科学系
【出 处】
：
河南师范大学学报：自然科学版
【发表日期】
：
2005年2期
【基金项目】
：
国家重点基础研究发展计划(973计划)，四川省应用基础研究计划
其他文献
盐渍土是新建喀什至和田铁路线主要的特殊岩土。喀和线典型地段盐渍土取样分析结果表明，其不同地段含盐量和类型差异明显，主要以中、强硫酸盐渍土为主，局部分布超硫酸盐、强氯、
探讨并构建了新时期普通高等学校健美操教学模式的框架,同时对小组合递加法、踏板操、垫上辅助练习及学生创编健美操的教学程序、优越性进行了理论分析。
摘要：《石仓契约》（第三辑）文献价值极高，具有多方面的研究价值。其中俗字、错别字、疑难词、方言俗语词甚多，整理本未能全部校出，可从文献对勘和语言研究的角度对其中一些问题进行
<正> 有的同志认为,一个国家的教育方针,是教育工作的总指针,它总是一定时期的政治、经济的反映,并且随着政治、经济情况的改变而改变。“教育必须为无产阶级政治服务,必须与
清末中国出现的法制变革一直持续到民国时期,初步形成了与西方类似的近代法制体系。受到这股变革潮流的影响,新疆开始逐步推行近代民法制度,建立了近代化的司法体系,对于启迪
<正> 第一种意见认为“三要素”即劳动资料(以生产工具为主)、劳动对象和劳动者。理由:(1)马克思关于“劳动过程的简单要素是:有目的的活动或劳动本身;劳动对象和劳动资料。
在无溶剂无催化剂条件下,采用石蜡油加热的方法,由取代-3-甲酰基色酮与麦氏酸通过Knoeve-nagel缩合反应合成了一系列5-（色酮基-3-亚甲基）麦氏酸类化合物,收率70%-87%,产物结构
结合太原至澳门高速公路济源至晋城（省界）段白涧河大桥，对高墩、大跨度连续刚构桥悬臂施工的应力及线形控制方法进行了研究。理论分析和实践表明，对大跨径连续刚构桥进行施工监控
对作家赵钧海散文创作的整体风格进行概述。针对作家亲情类、历史人文类、石油生活类散文的不同特征、创作风格进行较为细致、客观的分析与评价。