Formal verification of a secure mobile banking protocol

Harry Huy Hoang Ngo, Osama Dandash, Phu Dung Le, Balasubramaniam Srinivasan, Campbell Charles Wilson

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the First International Conference on Computer Science and Information Technology, Part II
    EditorsNatarajan Meghanathan, Brajesh Kumar Kaushik, Dhinaharan Nagamalai
    Place of PublicationBerlin Germany
    PublisherSpringer-Verlag London Ltd.
    Pages410 - 421
    Number of pages12
    ISBN (Print)9783642178771
    Publication statusPublished - 2011
    EventInternational Conference on Computer Science and Information Technology (CCSIT 2011) - Bangalore, India
    Duration: 2 Jan 20114 Jan 2011
    Conference number: 1st
    https://link.springer.com/book/10.1007/978-3-642-17857-3

    Conference

    ConferenceInternational Conference on Computer Science and Information Technology (CCSIT 2011)
    Abbreviated titleCCSIT 2011
    Country/TerritoryIndia
    CityBangalore
    Period2/01/114/01/11
    OtherCCSIT: International Conference on Computer Science and Information Technology
    Advances in Computer Science and Information Technology
    First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part I
    Internet address

    Cite this