罗伯托·戈里埃里;法比奥·马蒂内利;玛丽内拉·彼得罗奇 GNDC模式中信用和责任的形式化。 （英语） Zbl 1335.68014号 Mauw，S.（ed.）等人，《第一届安全与信任管理国际研讨会论文集》（STM 2005），意大利米兰，2005年9月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第3期，61-78（2006）。 摘要：我们在广义不可推论作文框架中正式定义了信用和责任的概念。我们通过文献中讨论的一些例子来研究我们的定义的有效性。关于整个系列，请参见[Zbl 1314.68015号]. MSC公司： 68个M12 网络协议 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 94A62型 身份验证、数字签名和秘密共享 关键词：形式化方法;身份验证;合成的广义不可演绎性 PDF格式BibTeX公司 XML格式引用 \textit{R.Gorrieri}等人，《电子》。注释Theor。计算。科学。157，编号3，61--78（2006；Zbl 1335.68014） 全文： 内政部 参考文献： [1] Abadi，M.，《认证的两个方面》（CSFW’98（1998），IEEE），27-33 [2] Abadi，M.，《安全协议和规范》（FOSSACS’99程序）。程序。FOSSACS’99，LNCS，1578（1999），Springer），1-13 [3] Burrows，M.、Abadi，M.和Needham，R。，认证逻辑; Burrows，M.，Abadi，M.和Needham，R。，认证逻辑·Zbl 0687.68007号 [4] Focardi，R。；戈里埃里；Martinelli，F.，《三种身份验证属性的比较》，TCS，291，3，285-327（2003）·Zbl 1052.68033号 [5] Focardi，R。；Martinelli，F.，《担保财产定义的统一方法》（FM'99 Proc.）。程序。FM'99，LNCS，1708（1999），Springer），794-813·Zbl 0972.94042号 [6] Focardi，R。；戈里埃里；Martinelli，F.，《安全属性分类——第二部分：网络安全》，（FOSAD'01/'02程序）。程序。FOSAD’01/'02，LNCS，2946（2004），Springer），139-185·兹比尔1202.68168 [7] Focardi，R。；戈里埃里；Martinelli，F.，《密码协议分析的非干扰性》（ICALP’00 Proc.）。程序。ICALP’00，LNCS，1853（2000），Springer），354-372·Zbl 0973.94517号 [8] Gollman，D.，《关于密码协议的验证——两个委员会的故事》，《理论计算机科学中的电子笔记》，32（2000）·Zbl 0966.68067号 [9] Gollmann，D.，《安全方面》（2003年全球计算学报）。程序。全球计算'03，LNCS，2874（2003），Springer），192-202 [10] Krawczyk，H。，SKEME:一种适用于Internet的通用安全密钥交换机制; Krawczyk，H。，SKEME:一种适用于Internet的通用安全密钥交换机制 [11] Lowe，G.，《认证规范的层次结构》（CSCW’97（1997），IEEE），31-44 [12] Martinelli，F.、Petrocchi，M.、Vaccarelli，A.、。，两种安全证书传递过程的形式化分析161; Martinelli，F.、Petrocchi，M.、Vaccarelli，A.、。，两种证书传递安全过程的形式化分析161 [13] Ryan，P。；施耐德，S。；戈德史密斯，M。；罗伊，G。；Roscoe，B.，《安全协议的建模和分析：CSP方法》（2000年），Addison-Wesley [14] Thayer，J。；赫尔佐格，J。；Guttman，J.，Strand空间上的诚实理想，（CSCW’98会议录（1998），IEEE），66-78 [15] Woo，T.Y.C。；Lam，S.，《认证协议的语义模型》（SS&P’93（1993），IEEE） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。