Formal verification of PAY HERE SMS protocol using SPIN
| dc.contributor.author | Samasekera, M D V C.University of Colombo School of Computing, Colombo 07,virajsam@sltnet.lk | |
| dc.date.accessioned | 2026-07-12T19:59:58Z | |
| dc.date.issued | 2008 | |
| dc.identifier.uri | http://vidya.nsf.gov.lk:8080/pdfs/vidslaas/2008/505E1.pdf | |
| dc.identifier.uri | https://viduketha.nsf.gov.lk/handle/123456789/1408 | |
| dc.language.iso | English | |
| dc.publisher | Proceedings of the 64th Annual Session,Part 1- Abstracts | |
| dc.subject | Physical Sciences | |
| dc.subject | - | |
| dc.title | Formal verification of PAY HERE SMS protocol using SPIN | |
| dc.type | Article |