Conference Publication Details
Mandatory Fields
Coffey, T., Ventuneac, M., Newe, T., Salomie, S.
Proceedings of IEEE International Conference on Intelligent Engineering Systems (INES2004)
On investigating the security and fairness of a fair exchange protocol using logic- based verification
2004
August
Published
1
()
Optional Fields
Grant Details