原文服务方: 计算机应用研究       
摘要:
针对现阶段电子商务协议形式化分析的处理比较混乱、表述精确度不高且通用性较差、存在一些不合理的假设等问题,运用现代模态逻辑理论,结合知识与信念,提出了一种分析电子商务协议的模型:知识与信念模型.该模型主要包含安全环境、知识集、信念集、能力集、切入点和知识化等因素.知识与信念模型很好地解决了上述问题,能够细致、精准地对各种电子商务协议进行形式化描述,并为不同的分析方法提供了模型支持.
推荐文章
一种新的基于电子现金的电子商务模型与协议
电子现金
电子钱包
电子商务
电子支付
基于博弈的电子商务协议分析
电子商务协议
安全性
公平性
ATL
一种乐观电子商务协议的公平性分析
电子商务
乐观公平交换
公平性
SVO逻辑
基于模型检测的不可靠环境下电子商务协议分析
电子商务协议
不可靠环境
模型检测
原子性
UPPAAL
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种分析电子商务协议的知识与信念模型
来源期刊 计算机应用研究 学科
关键词 知识与信念模型 电子商务协议 现代模态逻辑
年,卷(期) 2012,(5) 所属期刊栏目 算法研究探讨
研究方向 页码范围 1702-1706,1712
页数 分类号 TP311
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2012.05.026
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 刘文远 燕山大学信息科学与工程学院 154 739 14.0 19.0
2 司亚利 燕山大学里仁学院 22 84 5.0 8.0
3 魏刚 燕山大学信息科学与工程学院 1 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (40)
共引文献  (91)
参考文献  (6)
节点文献
引证文献  (2)
同被引文献  (6)
二级引证文献  (2)
1978(1)
  • 参考文献(0)
  • 二级参考文献(1)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1983(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(3)
  • 参考文献(0)
  • 二级参考文献(3)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(5)
  • 参考文献(0)
  • 二级参考文献(5)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1998(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(5)
  • 参考文献(0)
  • 二级参考文献(5)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(4)
  • 参考文献(0)
  • 二级参考文献(4)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(4)
  • 参考文献(1)
  • 二级参考文献(3)
2006(5)
  • 参考文献(1)
  • 二级参考文献(4)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(2)
  • 参考文献(0)
  • 二级参考文献(2)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2010(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
知识与信念模型
电子商务协议
现代模态逻辑
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
论文1v1指导