Rüdiger Grimm. A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs. In Rainer Falk, Wilson Goudalo, Eric Y. Chen, Reijo Savola, Manuela Popescu, editors, The Third International Conference on Emerging Security Information, Systems and Technologies, SECURWARE 2009, 18-23 June 2009, Athens/Glyfada, Greece. pages 49-56, IEEE Computer Society, 2009. [doi]
Abstract is missing.