A Formal IT-Security Model for a Weak Fair-Exchange Cooperation with Non-repudiation Proofs | IEEE Conference Publication | IEEE Xplore