Formal Specification and Verification of the SET/A Protocol with an Integrated Approach

Vitus S W Lam, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (SciVal)
Original languageEnglish
Title of host publicationIEEE International Conference on E-Commerce Technology (CEC'04)
Pages229--235
Number of pages7
Publication statusPublished - Jul 2004
EventIEEE International Conference on E-Commerce Technology (CEC'04) -
Duration: 1 Jul 2004 → …

Conference

ConferenceIEEE International Conference on E-Commerce Technology (CEC'04)
Period1/07/04 → …

Cite this