切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
形式化验证可信第三方角色的性质
形式化验证可信第三方角色的性质
来源 :计算机应用 | 被引量 : 0次 | 上传用户:a67826766
【摘 要】
:
随着电子商务的发展,电子商务协议中受信任的第三方担负着越来越重要的角色。针对电子协议的安全性,用形式化的方法(如CCS)对几种带有可信任第三方平台的电子商务协议进行描述,并用模型检测的方法对安全协议的几种性质进行了阐述和验证。
【作 者】
:
冯源
【机 构】
:
太原师范学院数学系
【出 处】
:
计算机应用
【发表日期】
:
2010年S2期
【关键词】
:
可信任第三方
CCS
公平性
可追究性
Trusted Third Party(TTP) Calculus of Communication System(CC
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着电子商务的发展,电子商务协议中受信任的第三方担负着越来越重要的角色。针对电子协议的安全性,用形式化的方法(如CCS)对几种带有可信任第三方平台的电子商务协议进行描述,并用模型检测的方法对安全协议的几种性质进行了阐述和验证。
其他文献
单电太嚣张 单反很淡定
单反相机(以下简称“单反”)一直给人以专业的感觉,但受限于自身的构造,单反永远不可能出现轻薄机型。而单镜头电子取景数码相机(以下简称“单电”)的出现,则让人们眼前一亮——近乎
期刊
单反相机
轻薄机型
数码相机
电子取景
单镜头
卡片机
浅谈设计阶段如何有效控制工程造价
设计阶段控制造价充分体现了事前控制的思想,在此阶段控制造价能起到事半功倍的效果,控制工程造价的关键在于设计阶段。
期刊
工程造价
设计阶段
事前控制
建设工程投资
投资控制
限额设计
造价师
亦喜亦忧电纸书
自从2007年亚马逊Kindle成功培育市场后,国内外厂商纷纷瞄准电纸书市场,产品更是层出不穷。索尼、华硕、明基、易狄欧、易博士、翰林、汉王和文房等,再加上中国移动等运营商借3G
期刊
市场发展
中国移动
亚马逊
国内外
运营商
瞄准
3G
非平衡技术在高速网络入侵检测中的应用
针对现有的高速网络入侵检测系统丢包率高、检测速度慢以及检测算法对不同类型攻击检测的非平衡性等问题,提出了采用两阶段的负载均衡策略的检测模型。在线检测阶段对网络数据包按协议类型进行分流的检测,离线建模阶段对不同协议类型的数据进行学习建模,供在线部分检测。在讨论非平衡数据处理的各种采样技术基础上,采用改进后的过抽样少数样本合成过采样技术(SMOTE)对网络数据进行预处理,采用AdaBoost、随机森林
期刊
高速网络
入侵检测
非平衡数据
少数样本合成过采样技术
集成学习
ADABOOST算法
随机森林算法
high-speed network intrusion
你的大脑就是犯罪现场——推理之魅
7月中旬,克里斯托弗·诺兰的新片《盗梦空间》在北美上映,短短10天票房已破1.4亿美元。虽然来回转换的梦境和现实场景很费脑细胞,但观众却依然为之痴狂。从柯南·道尔到
期刊
犯罪现场
推理
大脑
脑细胞
达芬奇
空间
绿色纯天然,夏日防蚊叮
炎炎夏日里,自然少不了受到蚊虫的“眷顾”。而立秋后大家却发现蚊虫更加肆虐了,那“嗡嗡嗡”的“小型战斗机”不停地在四周徘徊,扰得人心烦意乱。对于那些痴迷于电脑游戏的玩家来说,坐在电脑前激战正酣时,被“吻”上了多个印记却是全然无知,等战斗结束后下来一看,那满脸的“青春痘”实在是叫人痒痛难耐。民间自古就有“秋后蚊子死叮”的说法,可见立秋之后蚊子是多么的猖獗与凶猛。
期刊
夏日
纯天然
防蚊
电脑游戏
立秋后
战斗机
青春痘
蚊虫
《中国生物学文摘》的统计分析
期刊
统计分析
载文量
科技期刊
中国
生物学文摘
基于正负模糊规则的相结合的图像分类
由于传统的图像分类只是利用正模糊规则对图像分类,忽略了负模糊规则在图像分类中的作用。提出用正负模糊规则的相结合的方法对图像进行分类,注重将负模糊规则和传统的正模糊分类规则有效结合。实验表明,该方法有较高的准确率,获得了更好的效果。
期刊
图像分类
正负模糊规则
遥感图像
自然图像
image classification positive and negative fuzzy rule remo
国内原创Flash游戏推荐
这是一款动作类横版过关游戏。这款游戏的最大特点是在游戏中可以使出各种很华丽的连续技。而且本作支持双人游戏模式,还有超酷的必杀技,关卡和敌人种类也比较多。通关一次后我们可以保留住学过的全部技能再次重新挑战游戏。而我们每过一关,游戏都自动存档,方便我们下次继续玩。
期刊
游戏推荐
FLASH
原创
国内
游戏模式
软土地基排水管道设计探讨
软土地基土质较差,管道施工难度较高,因此设计应重点考虑软土的工程性质,对地基做特殊处理。本文介绍了软土地基排水管道的地基处置及管材的选用等,为软土地区排水管道基础设计提
期刊
排水管道
软土地基
设计
与本文相关的学术论文