机译:链空间和多集重写之间的安全协议分析比较
机译:Mokum的25年:数据和知识工程的25年:与MDE〜1有关的设计正确性和网络空间的正确协议
机译:基于链空间的电子商务协议公平性分析
机译:子线空格:为什么安全协议正确?
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:在I-F型CRISPR-Cas系统中引发可从引发的原型间隔子双向触发链无关的间隔子捕获
机译:子链空间:证明安全协议正确
机译:strand spaces:为什么安全协议正确