论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 社会科学II期刊 \
- 中等教育期刊 \
- 新课程学习(中)期刊 \
安全电子商务协议的形式化分析
推荐文章
基于ATL的电子商务协议建模与形式化分析
ATL逻辑
形式化分析
公平性
多方电子商务协议
电子支付协议的博弈逻辑模型与形式化分析
电子支付协议
公平性
形式化分析
ATL
基于串空间模型的电子商务协议的形式化分析
串空间
认证测试
形式化分析
交换协议
电子商务协议的建模方法与分析
电子商务
SET协议
Petri网
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2008(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
电子商务协议
形式化方法
分析
安全协议
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
新课程学习(中)
主办单位：
出版周期：
其它
ISSN：
CN：
开本：
16开
出版地：
邮发代号：
22-402
创刊时间：
2008
语种：
chi
出版文献量（篇）
14929
总下载数（次）
24
总被引数（次）
14057
期刊文献
相关文献
推荐文献
