security protocols; formal methods; theorem prov-ing; automatic tools;
机译:具有强大安全保证的可搜索加密构造
机译:加强耕地质量建设,夯实粮食安全基础
机译:具有强大安全性的高效两方密钥交换协议
机译:强大的不变性,用于高效建设的手机检查的协议。安全证明。
机译:强国中以人为中心的国家安全:韩国与朝鲜的安全关系
机译:通过固相基因组装方案构建具有特定肿瘤表位突变的多粘蛋白串联重复序列。
机译:有效构建机器检查的符号协议安全性证明。
机译:边界网关路由协议的有效安全机制。