切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于ATL的KM非否认协议形式化分析
基于ATL的KM非否认协议形式化分析
来源 :贵州大学学报(自然科学版) | 被引量 : 0次 | 上传用户:galadelong
【摘 要】
:
研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。
【作 者】
:
田顺仙
龙士工
【机 构】
:
贵州大学理学院
【出 处】
:
贵州大学学报(自然科学版)
【发表日期】
:
2011年5期
【关键词】
:
非否认协议
公平性
形式化分析
ATL逻辑
Non-repudiation protocols
fairness
formal analysis
A
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模。
其他文献
《现代临床普通外科》稿约
【正】 《现代临床普通外科》杂志为中华医学会广东省分会主办的普通外科专业高级学术刊物,属岭南医学系列杂志之一。本刊以高、中级外科医师及相关专业教师和研究生为读者对
期刊
普通外科
实验研究
法定计量单位
美国国立医学图书馆
外科临床
单位符号
岭南医学
阿拉伯数
分节法
中华医学会
抓住半边天——关注非金属元素与命题
在化学知识的学习中,元素化合物知识是一个重要内容,如何面对繁多的元素化合物进行学习、复习,并在各级考试中轻松战胜它们呢?首先必须明确各级命题对元素化合物知识的考查重点,然
期刊
元素化合物
解题指导
考查重点
封闭环形连续钢箱梁人行天桥不同减振方法的研究
针对某钢箱连续人行天桥特殊的结构形式及振动特性,建立空间有限元模型,以跨中竖向位移及加速度减振率为标准,通过理论计算比较TMD减振效果与频率调整法减振效果,结果表明对
期刊
人行天桥
TMD减振
调整频率
边界约束
空间有限元
footbridge
tured mass dampe easing vibration
adjust
把思想建设放在党的建设的首位
中国共产党是领导我国进行革命和建设事业的坚强核心。我们党之所以取得这样的地位,在于她一贯注重自身建设,尤其是注重思想建设。党的思想建设是党的建设的前提和基础,是搞好政治、组织、作风和制度建设的重要保证。一个在思想上成熟的党,必将更有效地实现对国家的领导。因此,在深化改革和发展社会主义市场经济的条件下,重视和加强党的思想建设,把思想建设放在党的建设的首位,具有重要的现实意义。
期刊
党的建设
党的思想建设
社会主义市场经济体制
自身建设
价值观
理想和信念
党的宗旨
全心全意为人民服务
中国共产
制度建设
中学物理教学中培养学生创造性能力的探索
中学物理教学中对学生创造性能力的培养,是在科学的教育思想指导下,通过师生双方的共同努力,使学生在掌握双基的基础上,以开发智力,不断进行探究,从而达到培养创造性能力为目标的教
期刊
中学物理教学
能力的培养
学生创造性
创造性能力
教育活动
思想指导
开发智力
师生
钢-混凝土协同式组合空腹夹层板楼盖舒适度分析
钢-混凝土协同式组合空腹夹层板由于跨度较大,自重较轻,舒适度是评价其结构性能的主要指标。针对某筒中筒结构楼盖,考虑不同网格布置方式、有无隔墙和不同行走路线影响进行振
期刊
空腹夹层板
振动
舒适度
加速度
open-web sandwich plate structures
vibration
comfortableness
泵示功图的凡尔开闭点位置研究
针对有杆抽油系统的泵示功图识别及产液量计算问题,以地面示功图为基础,结合抽油泵的工作原理,借助泵示功图,研究一种能较为准确定位抽油泵游动、固定凡尔开闭点的方法,并用其确定
期刊
抽油井
凡尔开闭点
泵示功图
抽油泵
pumping well
valve opening and closing points
pump dynamome
柔性防护系统在城市公路高边坡中的应用研究
柔性防护系统作为一种新技术,与传统的锚喷、格构梁等边坡支护措施有很大区别,具有适应性好、施工快捷、经济、生态效益好等优势。本文介绍了柔性防护系统的概念、类型及作用
期刊
柔性防护系统
高边坡
落石
flexible protection system
high slope
rockfall
影响光合作用强度的外部因素
光合作用是在植物有机体的内部和外部的综合条件的适当配合下进行的。因此内外条件的改变也就一定会影响到光合作用的进程或光合作用强度的改变。
期刊
光合作用
强度
内外条件
有机体
植物
抗胆道癌单克隆抗体的免疫组化研究
胆囊癌与胆管癌在消化道肿瘤中并不罕见,且处理难度大,预后极差。为了改变胆道癌综合治疗手段不足的现状,我们对29例手术切除的胆道癌标本进行了单克隆抗体标记的免疫组织研
期刊
胆道癌
单克隆抗体
导向治疗
与本文相关的学术论文