首页> 中文期刊> 《电子科技学刊》 >Symbolic Model Checking and Analysis for E-Commerce Protocol

Symbolic Model Checking and Analysis for E-Commerce Protocol

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《电子科技学刊》 |2005年第3期|213-217|共5页
作者
文静华; 张梅; 李祥;
展开▼
作者单位

Information Institute;

Guizhou College of Financial and Economics Guiyang 550004 China Institute of Software and Theory;

Guizhou University Guiyang 550025 China;

Information Institute;

Guizhou College of Financial and Economics Guiyang 550004 China;

Institute;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.02;
关键词

相似文献

中文文献
外文文献
专利

1. Symbolic Model Checking and Analysis for E-Commerce Protocol [J] . 文静华 ,张梅 ,李祥 . 电子科技学刊：英文版 . 2005,第3期
2. Model Checking Electronic CommerceSecurity Protocols Based on CTL [J] . XIAODe-qin ,ZHANGHuan-guo . 武汉大学学报：自然科学英文版 . 2005,第1期
3. Investigation and Countermeasures of the Development of Chinese Pharmaceutical E-commerce in the B2C Model Based on PEST-SWOT Analysis [J] . Xiu Yu ,Wang Shuling . 亚洲社会药学 . 2023,第4期
4. Based on COVID-19,Analysis of the Strategic Model of E-commerce Enterprises-A Case Study of Xiaohongshu(RED) [J] . CHEN Chuyue ,OUYANG Haitao ,TAN Jiaqi . 心理学研究：英文版 . 2022,第8期
5. Analysis on Regional Development Model of Rural E-commerce [J] . Ning WANG . 亚洲农业研究：英文版 . 2019,第7期
6. Analysis of China’s E-commerce and Economic Development by VAR Model [C] . Xiaobing Le . The Conference on Web Based Business Management (WBM 2010)(2010年基于互联网的商业管理学术会议) . 2010
7. Cycle Analysis of Low-Density Parity-Check Codes [A] . 黄鑫梅 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号