论文部分内容阅读
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则。
一个新的电子支付协议及其形式化分析
【摘 要】
：
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在克服ISI支付协议缺陷的基础上,提出了一种新的公平可追究电子支付协议。经过使用改进的Kailar逻辑分析验证,新的协议满足可追究性和公平性原则。
【机 构】
：
贵州大学计算机科学与技术学院,贵州省信息与计算科学重点实验室
【出 处】
：
计算机应用与软件
【发表日期】
：
2008年09期
其他文献
提出了一种基于有向图结构的数据关系的表示方法。这种方法直观地将数据之间的包含、信任关系表达出来,可以很方便地计算出对于某个特定的数据访问者所能访问的数据的集合和具体的访问权限,从而达到表达访问控制逻辑的目的。通过这种方法,可以把访问控制逻辑从应用层下降到数据管理层,大大简化应用系统的逻辑复杂度。
针对肝脏图像自身特点,研究了Gabor小波纹理特征在医学肝脏图像识别中的意义,提出一种基于Gabor小波纹理特征的医学肝脏图像识别方法。实验表明:引进Gabor小波纹理特征能较好地实现医学肝脏图像识别问题;与其它典型图像识别方法对比结果验证,新方法可以取得更高的识别率。
针对应用标准遗传算法对一幅灰度图像寻找最优阈值时经常陷入局部寻优的问题,提出了一种利用最大方差法和新的改进遗传算法相结合对图像进行分割的方法。以灰度图像的最大方差作为适应度函数,把图像分割问题变成一个优化问题。利用遗传算法的寻优高效性,搜索到能使分割质量达到最优的分割阈值。实验结果表明,采用新的改进遗传算法和最大方差法相结合对图像搜索全局阈值时能收敛至全局最优解,并且大大缩短寻找最优阈值的时间。
在对大型数据集的决策树生成方法进行探讨的基础之上,提出了一种基于属性关联近似正交表的决策树生成算法。该算法既能处理大型数据集,保留了基本划分组合算法的高效性,又能对提高决策树的精度具有一定的作用。
提出了一种小型嵌入式Linux Boot Loader的设计方案,并详细介绍该方案在Arm-Linux平台上的实现过程。方案大大简化了特定应用平台下Linux Boot Loader的设计,并且大大减小了生成的可执行文件的大小,针对特定应用平台自行设计小型的BootLoader具有一定的参考价值。
Pro/TOOLKIT是Pro/ENGINEER自带的功能强大的二次开发工具,可以有效地扩充Pro/ENGINEER的功能,高效地进行产品设计以满足用户更高层次的需要;组件是许多元件按照一定规则的组合,在模具生产中起到非常大的作用。首先介绍二次开发的目的及技术实现,随后提出了一种新的高效的组件构建的方法:分别给定三个坐标值来限定元件在组件中的具体位置、用参数化来调整元件实体模型尺寸的大小、通过面与
相对于椭圆曲线密码体制而言,超椭圆曲线密码体制(HECC)具有许多优势,如更短的操作数,更小的带宽,在同等安全条件下所用的基域小,在同样的定义域上亏格越大、曲线越多,等等。HECC中最重要且最耗时的运算是标量乘,二分法是一种比常用的倍点法更为有效的算法。对二分法作了进一步的优化,通过选择合适的曲线参数,减少二分法中域操作运算量,降低其运算复杂度,从而有效地提高了实现效率。
视频矢量分析器以新颖、独特的工作方式测量分析矢量信号,在测量分析过程中突出体现了色度矢量信号包含彩色信息的特性,测量分析结果快捷、精确。形象地显示信号相位、幅值等参数的方式和友好的人机界面的设计,为实时监控、分析色度矢量信号的微分增益失真和微分相位失真等参数,提供了直观、便捷的测量手段。它解决了传统矢量示波器显示方式简单、测量精度低、操作繁杂的问题,对研究开发新一代相关产品具有一定的参考价值。