Formal verification of PAY HERE SMS protocol using SPIN

Files

505E1.pdf (228.62 KB)

Date

Authors

Samasekera, M D V C.University of Colombo School of Computing, Colombo 07,virajsam@sltnet.lk

Publisher

Proceedings of the 64th Annual Session,Part 1- Abstracts

Keywords

Physical Sciences, -

URI

http://vidya.nsf.gov.lk:8080/pdfs/vidslaas/2008/505E1.pdf
https://viduketha.nsf.gov.lk/handle/123456789/1408

Collections

Annual Session Proceedings – Abstracts