切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
多agent逻辑程序及其在协议验证中的应用
多agent逻辑程序及其在协议验证中的应用
来源 :小型微型计算机系统 | 被引量 : 0次 | 上传用户:justmxx
【摘 要】
:
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否
【作 者】
:
周勇
朱梧
【机 构】
:
南京航空航天大学信息科学与技术学院
【出 处】
:
小型微型计算机系统
【发表日期】
:
2007年1期
【关键词】
:
逻辑程序
安全协议
不可否认性
logic program security protocol Non-repudiation
【基金项目】
:
国家自然科学基金项目(60573070)资助.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一种多agent逻辑程序,每个agent具有一个相信算子,讨论了其不动点语义和操作语义,证明了两种语义之间的等价性.提出了一种基于多agent逻辑程序的协议验证方法,以一种多方非否认安全协议为例,对该协议进行了形式化描述,验证了其具有不可否认性.
其他文献
论人文价值观在高校少数民族体育教学中的理性回归
体育的概念自传入中国开始,就被当时的社会环境所影响,成为一种工具性的活动为国家的政治、军事等服务,而且一直延续至今。由此,在少数民族传统体育进入高校课堂时,必然受这
期刊
少数民族传统体育
人文价值
高校
教学
氧气检测报警仪测量结果的不确定度评定
论述了氧气检测报警仪的测量结果的不确定度评定过程。
期刊
氧气检测报警仪
测量不确定度
建立“思想台账” 做职工的贴心人
近年来,中国航天科工十院航天电科研究所党支部积极探索支部思想政治工作新体制,牢牢抓住支部职工年轻化、思想活的特点,建立“思想台账”全面跟进职工思想动态,从“建账”“
报纸
水中硫化物的测量不确定度评定
本文根据光度法测定水中硫化物的含量,分析了该方法测量不确定度来源,对不确定度进行评估,分析产生不确定度的主要范围。
期刊
硫化物
水
不确定度
常见配电变压器故障分析
配电变压器是配电网中的主要设备,也是工农业、居民用电中供给动力的主要设备。一旦发生故障,将影响工农业生产和人民的正常生活,给企业带来经济损失。为了减少配电变压器故障发
期刊
配电变压器
故障
预防
诱导人脂肪间充质干细胞生成胰岛素分泌细胞的实验研究
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
期刊
脂肪干细胞
诱导分化
胰岛β细胞
Ⅰ型糖尿病
一种批优化调度策略的实时异构系统的集成动态调度算法
针对实时异构多任务调度的特点,提出了软、硬实时任务形式化描述非精确计算的统一任务模型,在此基础上,提出了一种基于批优化调度策略的实时异构系统的集成动态调度算法.该算法以
期刊
实时异构系统
集成动态调度
任务分配
调度优化
real-time heterogeneous systems integrated dynamic sche
FMS测试篮球运动员膝关节稳定性的应用与研究
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
会议
FMS测试
篮球
膝关节稳定性
基于国有资本优化配置的混合所有制改革实施模式
国有资本管理体系是混合所有制改革的基础。针对国有集团企业多层级组织结构、多产业板块布局、多业务模块分布的特征,在构建以管资本为主的新型国有资本管理体制基础上,提出
期刊
混合所有制改革
国有资本优化配置
集团企业
自然垄断
工程管理专业国际化人才能力维度评价体系及量表分析
从营业状况、营业领域和企业数量三个方面分析了中国企业在国际承包商市场的现状,得出培养“拥有国际化视野,熟悉国际规则、标准、规范,适应国际化环境,具备国际化竞争力”的
期刊
国际化人才
工程管理专业
DEMATEL方法
能力评价
internationalized talentsengineering managementDEMAT
与本文相关的学术论文