论文部分内容阅读
针对基于认证测试理论的协议设计方法在测试组件构造方面存在非形式化因素的缺陷，根据唯一源发消息项组件在不同测试类型中的地位和作用，在消息组件重新归类定义的基础上，通过对不同类型消息组件之间存在的关系性质和主体可知性研究，以及协议执行主体密钥在测试组件构造上的性质分析，给出测试组件的构造规则．
协议设计过程中认证测试组件的构造规则研究
【摘 要】
：
针对基于认证测试理论的协议设计方法在测试组件构造方面存在非形式化因素的缺陷，根据唯一源发消息项组件在不同测试类型中的地位和作用，在消息组件重新归类定义的基础上，通过对
【机 构】
：
淮北师范大学计算机科学与技术学院
【出 处】
：
淮北师范大学学报：自然科学版
【发表日期】
：
2013年2期
【基金项目】
：
安徽省高校省级自然科学研究项目（KJ20128158）作
其他文献
随着全社会消费水平的不断提高,便利店、超市越来越多.他们当初成立的时候,所选择的第一个竞争目标就是街角的夫妻店,俗称杂货店,在南方一些地区又称"士多店".这种店铺是以家
零售企业每一天都在挖掘新的管理亮点。他们在信息系统的建设和应用过程中，遇到的问题包罗万象，大多涉及到管理与技术如何更好地匹配和融合。正如有的零售企业所体会到的，技术问
人身检查措施是刑事侦查的重要手段之一．司法实践中常威胁甚至侵犯被检查人的基本权利。我国刑事诉讼法对刑事人身检查的规定几近空白，许多程序规定实际上处于真空地带．有必要将
在中国商业流通业迅速发展，企业信息化应用水平逐日提升的时代，广泛地联合中国零售企业及流通企业、以及国内外与流通信息化相关的IT服务商、提供商、技术开发机构、设备制造企
近年来，零售业的蓬勃发展引来了人们的普遍关注。连锁门店成为一种世界性潮流趋势，在这种大的趋势下，伴随着连锁业的迅速扩大和连锁门店的持续增长，对IT网络和信息化依赖程度更为
亚洲消费者食品账单的50％以上是花费在生鲜商品上。生鲜商品将继续是亚洲消费者的最大单项花销，且每年以2．6％的速度增长，大于亚洲的人口增长速度。未来在亚洲，不但消费者的人均生鲜
由于图书这种商品具有意识形态领域的特殊性，使得我国书店行业曾经形成了新华书店一统天下，“国字号”企业牢牢控制主渠道的基本格局。客观上也使得书店企业相对料为封闭，市场化
为实现对太阳能电池板边缘直线的快速检测，文章提出基于切空间的角度投影方法。对太阳能电池板进行预处理，得到边缘信息，将其边缘特征进行切平面表示。在切平面内，直线表示成一条
文章研究了Banach空间上可闭化线性算子A的分析性质，并给出其闭化算子万成为C0压缩半群无穷小生成元的条件．
借鉴湖泊底泥的研究方法，对淮河淮南段4个断面的底泥的粒径分布和营养盐氮的水平和垂直方向上的分布进行测定．结果表明：在自西向东的流向上，底泥的粒径在同一深度上由粗变细，纵向