×
克里希南德·查特吉;拉曼，Vishwanath

假设数字合同签订的担保合成。 （英语） 兹比尔1342.94068

正式Asp。计算。 26，第4期，825-859（2014）.

引用于三文件

MSC公司：

94A60型 密码学
91A80型 博弈论的应用

关键词：

图形游戏;模型检验与综合;假设保证推理;假设保证合成;公平交换协议;数字合同签订

软件：

摩卡
PDF格式BibTeX公司 XML格式引用
\textit{K.Chatterjee}和\textit{V.Raman}，正式Asp。计算。26，第4号，825--859（2014；Zbl 1342.94068）
全文： 内政部

参考文献：

[1] Armando A，Carbone R，Compagna L（2007）安全协议的LTL模型检查。收录：CSF，第385-396页·Zbl 1186.68276号
[2] Alur R、Henzinger TA、Mang FYC、Qadeer S、Rajamani SK、Tasiran S（1998）Mocha：模型检查中的模块化。包含：CAV，第521-525页
[3] Asokan N，Shoup V，Waidner M（1998）乐观公平交换的异步协议。收录：IEEE标准普尔，第86-99页·Zbl 0929.68064号
[4] Alcaide A、Tapiador JM、Hernandez-Castro JC、Ribagorda A（2008）《理性协议的自然启发合成》。摘自：第十届自然并行问题解决国际会议论文集：PPSN X.Springer，Berlin，pp 981-990·Zbl 0997.68007号
[5] Burrows M，Abadi M，Needham RM（1990）身份验证逻辑。ACM事务计算系统8（1）：18-36·数字对象标识代码：10.1145/77648.77649
[6] Clarke EM，Emerson EA（1982）使用分支时间时序逻辑设计和合成同步骨架。In：程序逻辑，研讨会。柏林施普林格，第52-71页·Zbl 0546.68014号
[7] Chatterjee K，Henzinger TA（2007）《假设保证综合》。In:TACAS，第261-275页·Zbl 1186.68284号
[8] Chatterjee K，Henzinger M（2012）交替Büchi游戏的o（n2）时间算法。收录：SODA，第1386-1399页·Zbl 1421.68110号
[9] Chatterjee K，Henzinger TA，Jurdzinski M（2006）《安全平衡的游戏》，《计算机科学》365（1-2）：67-82·兹比尔1108.91007 ·doi:10.1016/j.tcs.2006.07.032
[10] Chadha R，Kanovich MI，Scedrov A（2001）归纳方法和合同设计协议。输入：CCS。ACM，纽约，第176-185页·Zbl 1108.91007号
[11] Chadha R、Kremer S、Scedrov A（2006）《多方合同签订的形式分析》。《汽车杂志》理由36（1-2）：39-83·Zbl 1134.94372号 ·doi:10.1007/s10817-005-9019-5
[12] Chadha R、Mitchell JC、Scedrov A、Shmatikov V（2003）《合同签订、乐观主义和优势》。包含：CONCUR，第361-377页·Zbl 1274.94132号
[13] de Alfaro L，Henzinger TA（2001）接口自动机。在：第八届欧洲软件工程会议和第九届ACM SIGSOFT软件工程基础研讨会（ESEC/FSE）论文集。纽约ACM出版社，第109-120页
[14] Even S，Yacobi Y（1980）《公钥签名系统之间的关系》，技术报告175。技术报告，以色列海法Technion
[15] Garay JA、Jakobsson M、MacKenzie PD（1999）《无滥用乐观合同签订》。收信人：密码，第449-466页·Zbl 0942.94027号
[16] Kremer S，Markowitch O，Zhou J（2002）《公平不可否认协议的深入调查》。抄送25（17）：1606-1621
[17] Kremer S，Raskin J-F（2002）《无虐待合同签订的博弈分析》。输入：CSFW。IEEE，纽约，第206-220页·Zbl 0997.68007号
[18] Kremer S，Raskin J-F（2003）《基于游戏的不可否认性和公平交换协议验证》。计算机安全杂志11（3）：399-430
[19] Louridas P（2000）非否认协议的一些指南。SIGCOMM抄送30（5）：29-38·数字对象标识代码：10.1145/505672.505676
[20] Markowitch O，Gollmann D，Kremer S（2002）《交换协议中的公平性》。致：ICISC，第451-464页·Zbl 1028.68502号
[21] Markowitch O，Kremer S（2001）具有透明可信第三方的乐观不可否认协议。In:ISC，第363-378页·Zbl 1042.68581号
[22] Manna Z，Pnueli A（1991）《反应和并发系统的时序逻辑：规范》。纽约州施普林格·兹比尔0753.68003
[23] Pagnia H，Gärtner FC（1999）《没有可信的第三方就不可能进行公平交换》。技术报告，达姆施塔特
[24] Pnueli A（1977）程序的时序逻辑。摘自：第18届IEEE计算机科学基础研讨会论文集。IEEE计算机学会出版社，纽约，第46-57页
[25] Pnueli A，Rosner R（1989）关于反应性模块的合成。输入：POPL。纽约ACM出版社，第179-190页·Zbl 0686.68015号
[26] Perrig A，Song DX（2000）：安全协议自动生成的第一步。输入：NDSS
[27] Ramadge P，Wonham W（1987）一类离散事件过程的监督控制。暹罗J控制优化25（1）：206-230·Zbl 0618.93033号 ·doi:10.137/0322013
[28] Saidi H（2002）《安全协议的自动合成》。AAAI技术报告，SS-02-05
[29] Song D，Berezin S，Perrig A（2001）Athena：一种高效的自动安全协议分析的新方法。计算机安全杂志9:2001
[30] Shmatikov V，Mitchell JC（2002）《两项合同签署协议的有限状态分析》。计算机科学理论283（2）：419-450·Zbl 0997.68007号 ·doi:10.1016/S0304-3975（01）00141-4
[31] Thayer FJ，Herzog JC，Guttman JD（1999）Strand spaces:证明安全协议正确。计算机安全杂志7（1）：191-230
[32] Thomas W（1997）《语言、自动机和逻辑》。形式语言手册：超越文字，第3卷，第389-455页
[33] 周杰，邓瑞华，包峰（2000）关于公平交换协议的一些评论。In：公钥密码，第46-57页·Zbl 0966.68068号
[34] Zhou J，Gollmann D（1997）一个有效的不可否认协议。输入：PCSFW。IEEE计算机学会出版社，纽约，第126-132页
[35] Zhou J，Gollmann D（1998）《不可否认协议的验证》。收录：1998年国际精炼研讨会和太平洋正式方法会议记录。柏林施普林格，第370-380页·Zbl 0926.68051号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。