...
机译:电子商务交易WM协议的设计与验证
E CommerceWM ProtocolSPIN Model CheckerVerificationLTL Properties;
机译:使用KIV验证Mondex电子钱包:从交易到安全协议
机译:寻求用于代理交互协议的正式设计和分析的方法论-电子商务中的一项调查
机译:医药产品交易电子商务平台的设计与实现
机译:用于一般电子商务和电子拍卖交易的实时感知协议
机译:设计和验证安全的电子商务协议。
机译:基于区块链的云辅助电子病历系统安全协议设计
机译:用于一般电子商务和电子拍卖交易的实时感知协议
机译:保护个人在电子商务协议中的利益