机译:在Isabelle / HOL中将可证明的匿名形式化
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, P.O. Box 8717, Beijing, China,College of Information Engineering, Capital Normal University, Beijing, China;
Computer Science and Communications, Faculty of Science, Technology and Communication, University of Luxembourg, Walferdange, Luxembourg,Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg, Walferdange, Luxembourg;
Anonymity; Security protocols; Theorem proving; Inductive methods;
机译:ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
机译:在伊莎贝尔/霍尔的欧洲衍生品正式形成欧洲衍生物的Cox-Ross-Rubinstein定价
机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:在Isabelle / HOL中正式化图迹属性
机译:东方妇女的三岁代表在董事会Gautier,Gustave Fraubert和Isabelle Eberhardt的作品中
机译:Logikey Workbench:语言逻辑组合和表现形式的道德和法律推理(Isabelle / HOL DataSet)
机译:ISAbelle / HOL中的LLL基础减少算法和LLL分解算法
机译:可证明匿名的洋葱路由模型