College of Electronic Science and Engineering National University of Defense Technology Changsha Hunan 410073 China;
Electronic commerce; Cognition; Electromagnetics; Security; Cryptographic protocols; Business;
机译:寻求用于代理交互协议的正式设计和分析的方法论-电子商务中的一项调查
机译:电子商务协议公平性表征的形式化建模与分析
机译:电子商务协议公平性表征的形式化建模与分析
机译:电子商务协议及时性的正式分析
机译:保护个人在电子商务协议中的利益。
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:走向电子商务协议的形式化验证
机译:保护个人在电子商务协议中的利益