Design, testing and formal verification of secure mobile payment protocols
Design, testing and formal verification of secure mobile payment protocols
dc.contributor.advisor | Sastry, V.N. | |
dc.contributor.author | Sriramulu, Bojjagani | |
dc.date.accessioned | 2020-01-14T05:24:51Z | |
dc.date.accessioned | 2022-03-03T05:17:16Z | |
dc.date.available | 2020-01-14T05:24:51Z | |
dc.date.available | 2022-03-03T05:17:16Z | |
dc.date.issued | 2018-08-30 | |
dc.identifier.uri | https://dspace.uohyd.ac.in/handle/1/1106 | |
dc.language.iso | en | en_US |
dc.publisher | UNIVERSITY OF HYDERABAD | en_US |
dc.relation.ispartofseries | TH10952; | |
dc.subject | Computer and Information Science | en_US |
dc.title | Design, testing and formal verification of secure mobile payment protocols | en_US |
dc.type | Thesis | en_US |
dspace.entity.type |