...
机译:电子商务协议的新逻辑
Cryptographic protocols; E-commerce protocols; Logic; Denotational semantics; Tableau-based proof system; Authentication; Secrecy; Money atomicity; Good atomicity;
机译:电子商务协议的新逻辑
机译:使用彩色Petri网的电子商务协议建模与分析
机译:使用彩色Petri网的电子商务协议建模与分析
机译:基于扩展鲁宾逻辑的电子商务协议分析
机译:保护个人在电子商务协议中的利益。
机译:社交商务和电子商务评论激发的与事件相关的潜力
机译:电子商务协议的新逻辑
机译:保护个人在电子商务协议中的利益