拉尔斯·奥克·弗雷德隆德;克拉拉·贝纳克·厄尔;艺术,托马斯;汉斯·斯文森 通过跟踪安全协议获得信任。 (英语) Zbl 07618128号 J.日志。阿尔盖布。方法计划。 130,文章ID 100829,25 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.-奥弗雷德隆德}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100829,25 p.(2023;Zbl 07618128) 全文: 内政部
马西莫·巴托莱蒂;伊利亚卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯,豪尔赫·A。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉 将行为类型与安全分析相结合。 (英语) Zbl 1330.68045号 J.日志。阿尔盖布。方法计划。 84,第6号,763-780(2015).MSC公司:第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人,J.Log。阿尔盖布。方法计划。84,第6号,763--780(2015;Zbl 1330.68045) 全文: 内政部 arXiv公司