机译:自动验证密码协议线性逻辑规范的保密性
机译:验证电子投票协议的隐私类型属性
机译:远程电子投票协议的保密性,抗胁迫性和可验证性的形式验证
机译:使用ADM逻辑的电子投票协议属性规范:FOO案例研究
机译:走向排序理论:研究3-7:用于学习条件逻辑选定原理和特殊转移性质探索的学习层次的规范和评估。
机译:方案:在临床常规环境中DSM-5(CAPS-5)的临床医生管理的PTSD量表的德语版的心理测量特性:多特征多方法研究的研究设计和方案
机译:自动验证密码协议线性逻辑规范的保密性
机译:核微探针研究镉锌萤石(CZT)辐射探测器的电子输运特性