Shizra Sultan, Abdul Ghafoor Abbasi, Muhammad Awais Shibli, Ali Nasir. Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA. In Mohammad S. Obaidat, Andreas Holzinger, Pierangela Samarati, editors, SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014. pages 387-392, SciTePress, 2014. [doi]
@inproceedings{SultanASN14,
  title = {Secure Protocol for Financial Transactions Using Smartphones - SPFT - Formally Proved by AVISPA},
  author = {Shizra Sultan and Abdul Ghafoor Abbasi and Muhammad Awais Shibli and Ali Nasir},
  year = {2014},
  doi = {10.5220/0005059903870392},
  url = {http://dx.doi.org/10.5220/0005059903870392},
  researchr = {https://researchr.org/publication/SultanASN14},
  cites = {0},
  citedby = {0},
  pages = {387-392},
  booktitle = {SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014},
  editor = {Mohammad S. Obaidat and Andreas Holzinger and Pierangela Samarati},
  publisher = {SciTePress},
  isbn = {978-989-758-045-1},
}