MIT Laboratories for Computer Science, Cambridge, USA;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:用无穷Petri网的近似模型计算可控子语言
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:密码术在无限的计算模型中
机译:Unbounded-2-bounded:两阶段近似,用于模型检查无穷大直到概率系统的性质。
机译:使用定量和计算技术检查中国在量子密码学研究中的表现和主题演变
机译:计算模型中密码证明的自动化和模块化