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 |