Cryptography; Requirements; Verification; Reasoning; Security; Algebra; Linearity; Safety; Logic; Hong kong; Foreign reports;
机译:一阶逻辑中加密协议保密的自动验证
机译:自动验证密码协议线性逻辑规范的保密性
机译:验证公钥密码协议的逻辑
机译:使用时间逻辑来指定和验证密码协议
机译:方程式统一及其在密码协议形式验证中的应用
机译:儿科基因组结果研究报告(PROGRESS):一项混合方法纵向观察性队列研究方案旨在探索向未成年人及其父母披露可实施的成年和儿科发病基因组变体的方法
机译:具有动态认知逻辑的加密协议的高效验证