【摘 要】
：
电子支付协议是一种特殊的安全协议,利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂,协议执行不一定是顺序结构,有
论文部分内容阅读
电子支付协议是一种特殊的安全协议,利用形式化方法进行电子支付协议分析是电子支付研究的一个重要方面。电子支付协议结构较认证协议远为复杂,协议执行不一定是顺序结构,有时含有条件分支或循环等非顺序执行。一个电子交易协议还可能是若干子协议的复合体。因此,电子支付协议的形式化分析迥异干认证协议,而有其自身特色,需要对形式逻辑进行扩展。
Electronic payment protocol is a special security protocol. The analysis of electronic payment protocol using formal methods is an important aspect of electronic payment research. The structure of electronic payment protocol is far more complicated than the authentication protocol. The protocol implementation is not necessarily sequential structure, sometimes including non-sequential execution of conditional branches or loops. An electronic transaction agreement may also be a complex of several sub-agreements. Therefore, the formal analysis of electronic payment protocols is very different from the authentication protocol, but has its own characteristics and requires the formal logic to be extended.
其他文献
A 68 year old man presented with urethritis and a purulent discharge, carrying the tentative diagnosis of gonorrhea. He had already been treated with multiple a
如今的BT资源是越来越丰富了,人们尽情地享受着它的资源,有时候会为找到一个好资料而欣喜若狂。但如果发现了好东东却下不下来,尤其是下载到一半多,甚至是快要到100%的时候,
国有及国有控股企业是中国共产党执政的重要基础,是建设有中国特色社会主义的重要支柱。思想政治工作是国有及国有控股企业特有的政治优势和改革发展稳定的有力保障,在宣传贯
摘 要社会在发展，时代在进步，我国的教育领域更是发生了巨大的变化，随着新课程改革的不断深化，快乐教学的理念在当前所施行的新课程标准中已经被明确提出来了。要想实现快乐教学的理想目标，语文教师就必须要想尽办法来让小学生真正参与到实际的课堂教学当中来，同时尽全力为小学生打造出愉悦、舒适、轻松的课堂学习环境，让小学生能够在快乐的情绪中学习到语文知识。本文将就新时代背景下如何让学生在小学语文教学中快乐学习进
这里有一个名叫辰吉的少年,他幼年与父母分别,在奶奶的抚养下长大。每当看到其他的小朋友得到慈祥的母爱,或者在哥哥、姐姐的带领下出去游玩,辰吉总是伤心地自问:“为什么只
啾啾最盼望的节日,不是儿童节,不是春节,而是圣诞节。每到快过圣诞节了,她就开始倒计时,天天掰着指头算,既焦急又欣喜,当然,魅力来自那个会给孩子们送来礼物的善良而又神秘的
资本经营、资产经营和生产经营的区别潘新刚资本是指股东出资形成的资本性权益，在企业负债表上表现为所有者权益，我们说国有资产即是国有资本，其数额为所有者权益。资产是指由股
海内存知己,天涯若比邻。无为在歧路,儿女共沾巾。t——题记仲春的阳光明媚灿烂,雨后的树叶娇翠欲滴,彩蝶双双入繁花……这些却让我心生妒意。挡住那刺眼的阳光,我走进了冷气
“雄赳赳,气昂昂,跨过鸭绿江……”唱起这首当年在朝鲜战场上最鼓舞士气的《中国人民志愿军战歌》,志愿军老兵们热血沸腾。当年,他们是如何用自己的生命抗击侵略?他们在异国
微笑是一种特殊的语言,它能沟通人们的心灵,架起友谊的桥梁,给人以美好的感受。即使是短暂的惊鸿一瞥,也能永久留在记忆的深处。那年冬天,我和父亲乘火车回湖南老家过年。我