@article{Kremer_2003,
    doi = {10.3233/jcs-2003-11307},
    url = {https://doi.org/10.3233%2Fjcs-2003-11307},
    year = {2003},
    month = {jul},
    publisher = {{IOS} Press},
    volume = {11},
    number = {3},
    pages = {399--429},
    author = {Steve Kremer and Jean-Fran{\c{c}}ois Raskin},
    title = {A game-based verification of non-repudiation and fair exchange protocols1},
    journal = {Journal of Computer Security}
}

@article{Kremer_2003, doi = {10.3233/jcs-2003-11307}, url = {https://doi.org/10.3233%2Fjcs-2003-11307}, year = {2003}, month = {jul}, publisher = {{IOS} Press}, volume = {11}, number = {3}, pages = {399--429}, author = {Steve Kremer and Jean-Fran{\c{c}}ois Raskin}, title = {A game-based verification of non-repudiation and fair exchange protocols1}, journal = {Journal of Computer Security} }