阿维斯帕

此软件的关键字
zbMATH中的参考文献(参考文献 88篇 , 1标准件 )
科蒂埃,维罗尼克; 德劳恩,圣潘妮; Sundararajan,Vaishnavi:一类可判定的安全协议,同时具有可达性和等价性(2021) Szymoniak,Sabina:包括各种时间参数的安全协议分析(2021) 埃尔巴图,塞尔达尔; 马歇尔,安德鲁M。; Ringeissen,Christophe:子项收敛理论的等式扩展中的计算知识(2020) 李迪龙; Tiu,Alwen:结合proverif和自动定理证明器进行安全协议验证(2019) 阿巴迪,马丁; 布兰切特,布鲁诺; Fournet,Cédric:应用pi演算、移动价值、新名称和安全通信(2018) 盆地,大卫; 中科院克雷默斯; 梅多斯,凯瑟琳:模型检查安全协议(2018) Genet,Thomas:树自动机完成的完备性(2018) 刘朝亮; 蔡、王珏; 张婷仪; Liu,Ta Ming:移动分布式计算环境中基于临时秘密泄漏的三方认证密钥协商协议(2018) 帕恩,巴鲁。; 古普塔、舒巴姆; Chaudhari,Narendra S.:ESAP:移动通信网络中漫游用户的高效安全认证协议(2018) 毛里西奥·阿亚拉·林克翁; 费尔南德斯,玛丽贝尔; Nantes Sobrinho,Daniele:具有正规形式和逆的局部稳定理论的入侵者演绎问题(2017) 巴别塔,贵霜; 雪娃,文森特; Kremer,Steve:验证等价性时的通信模型(2017) 贝尔德,大卫; 德劳恩,圣潘妮; Hirschi,Lucca:决定轨迹等价性的简化语义(2017) 雪娃,文森特; 科蒙伦德,休伯特; Delaune,Stéphanie:确定约束系统集合之间符号等价性的程序(2017) 德雷尔,詹尼克; 杜梅尼尔,查尔斯; 克莱默,史蒂夫; Sasse,Ralf:状态协议自动验证中的超越子项收敛方程理论(2017) 卡西姆,阿里; 法尔肯,伊莉丝; Lafourcade,Pascal:电子考试的形式分析和离线监控(2017) 查达,罗希特; 雪娃,文森特; Ciob–că,Ştefan; Kremer,Steve:密码协议等价性的自动验证(2016) Genet,Thomas:树自动机完成的终止标准(2016) 盆地,大卫; 凯勒,米歇尔; 拉多米罗维奇,萨沙; Sasse,Ralf:Alice和Bob满足等式理论(2015) Meadows,Catherine:加密协议分析中形式化方法的新问题和趋势:12年后(2015年) 萨塔尔扎德,贝南; Fallah,Mehran S.:妥协委托人存在下基于类型的注入协议自动分析(2015)