cryptographic protocols; formal verification; message authentication; Isabelle/HOL; Kerberos V protocol; cryptography; formal verification; security protocol; strand space method; unsolicited authentication test;
机译:用时间戳扩展Strand Space方法:第二部分应用到Kerberos V
机译:用时间戳扩展子线空间方法:第一部分理论
机译:子线空间模型中可信网络访问协议的验证
机译:扩展股线空间方法以验证Kerberos V.
机译:基于空间的轨道确定空间碎片的近乎平面观测,使用良好的方法和扩展卡尔曼滤波
机译:在分子模拟中增强采样的扩展相空间方法:综述
机译:用时间戳扩展Strand Space方法:第二部分应用到Kerberos V