%0 Journal Article %1 journals/jcs/KremerR03 %A Kremer, Steve %A Raskin, Jean-François %D 2003 %J J. Comput. Secur. %K dblp %N 3 %P 399-430 %T A Game-based Verification of Non-repudiation and Fair Exchange Protocols. %U http://dblp.uni-trier.de/db/journals/jcs/jcs11.html#KremerR03 %V 11

@article{journals/jcs/KremerR03, added-at = {2023-08-28T00:00:00.000+0200}, author = {Kremer, Steve and Raskin, Jean-François}, biburl = {https://www.bibsonomy.org/bibtex/276af26a592baa15f3796d73dcf8a5557/dblp}, ee = {https://www.wikidata.org/entity/Q114944201}, interhash = {60efc561d308e9946fe69135d8dec0b2}, intrahash = {76af26a592baa15f3796d73dcf8a5557}, journal = {J. Comput. Secur.}, keywords = {dblp}, number = 3, pages = {399-430}, timestamp = {2024-04-09T05:17:24.000+0200}, title = {A Game-based Verification of Non-repudiation and Fair Exchange Protocols.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs11.html#KremerR03}, volume = 11, year = 2003 }