@第{zbMATH06609452条，作者={Chatterjee，Krishnendu和Raman，Vishwanath}，标题={数字合同签署的假设保证合成}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={26}，数字={4}，页码={825--859}，年份={2014}，语言={英语}，DOI={10.1007/s00165-013-0283-6}，关键词={94A60.91A80}，zbMATH={6609452}，Zbl={1342.94068}}