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

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

4 Citations (SciVal)

Original language	English
Title of host publication	IEEE International Conference on E-Commerce Technology (CEC'04)
Pages	229--235
Number of pages	7
Publication status	Published - Jul 2004
Event	IEEE International Conference on E-Commerce Technology (CEC'04) - Duration: 1 Jul 2004 → …

Conference	IEEE International Conference on E-Commerce Technology (CEC'04)
Period	1/07/04 → …

Cite this

@inproceedings{2e3a0b4c7e3a4a0b815e022aacbc3c52,

title = "Formal Specification and Verification of the SET/A Protocol with an Integrated Approach",

author = "Lam, {Vitus S W} and Julian Padget",

year = "2004",

month = jul,

language = "English",

pages = "229----235",

booktitle = "IEEE International Conference on E-Commerce Technology (CEC'04)",

note = "IEEE International Conference on E-Commerce Technology (CEC'04) ; Conference date: 01-07-2004",

}

TY - GEN

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

AU - Lam, Vitus S W

AU - Padget, Julian

PY - 2004/7

Y1 - 2004/7

M3 - Chapter in a published conference proceeding

SP - 229

EP - 235

BT - IEEE International Conference on E-Commerce Technology (CEC'04)

T2 - IEEE International Conference on E-Commerce Technology (CEC'04)

Y2 - 1 July 2004

ER -