Dept. of Computer Science, Chalmers University of Technology, 41296 Goeteborg, Sweden;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:QoP-ML:加密协议的保护建模语言的质量
机译:基于流的密码协议的域特定语言
机译:用于实施加密协议的安全类型语言:案例研究
机译:批判性反思和主流教师对英语学习者的庇护教学观察协议的实施:一个案例研究
机译:研究实施策略以支持各种欧洲初级保健机构(RESTORE)中不同来源和语言背景的患者:研究方案
机译:用于实现加密协议的安全类型语言:一个案例研究
机译:加密协议要求的形式语言。