机译:验证SET注册协议
computer networks; cryptography; electronic commerce; formal verification; protocols; telecommunication security; Isabelle/HOL; SET certificate authority; SET registration protocols; business communication; cardholders; communication system security; complex encrypt;
机译:验证SET注册协议
机译:验证设置注册协议
机译:验证设置注册协议
机译:SET协议中商家注册的验证
机译:探索航空航天防御软件中验证要求完整性的协议
机译:点集注册的回顾:从成对注册到成组注册
机译:1验证SET注册协议