---
res:
  bibo_abstract:
  - 'We study the automatic synthesis of fair non-repudiation protocols, a class of
    fair exchange protocols, used for digital contract signing. First, we show how
    to specify the objectives of the participating agents, the trusted third party
    (TTP) and the protocols as path formulas in Linear Temporal Logic (LTL) and prove
    that the satisfaction of the objectives of the agents and the TTP imply satisfaction
    of the protocol objectives. We then show that weak (co-operative) co-synthesis
    and classical (strictly competitive) co-synthesis fail in synthesizing these protocols,
    whereas assume-guarantee synthesis (AGS) succeeds. We demonstrate the success
    of assume-guarantee synthesis as follows: (a) any solution of assume-guarantee
    synthesis is attack-free; no subset of participants can violate the objectives
    of the other participants without violating their own objectives; (b) the Asokan-Shoup-Waidner
    (ASW) certified mail protocol that has known vulnerabilities is not a solution
    of AGS; and (c) the Kremer-Markowitch (KM) non-repudiation protocol is a solution
    of AGS. To our knowledge this is the first application of synthesis to fair non-repudiation
    protocols, and our results show how synthesis can generate correct protocols and
    automatically discover vulnerabilities. The solution to assume-guarantee synthesis
    can be computed efficiently as the secure equilibrium solution of three-player
    graph games. © 2012 Springer-Verlag.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Krishnendu
      foaf_name: Chatterjee, Krishnendu
      foaf_surname: Chatterjee
      foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4561-241X
  - foaf_Person:
      foaf_givenName: Vishwanath
      foaf_name: Raman, Vishwanath
      foaf_surname: Raman
  bibo_doi: 10.1007/978-3-642-27940-9_11
  bibo_volume: 7148
  dct_date: 2012^xs_gYear
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Synthesizing protocols for digital contract signing@
...