Formal Specification and Verification of the SET/A Protocol with an Integrated Approach
Lam, V. S. W. and Padget, J., 2004. Formal Specification and Verification of the SET/A Protocol with an Integrated Approach. In: IEEE International Conference on E-Commerce Technology (CEC'04), 2004-07-01.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
|Item Type||Conference or Workshop Items (Paper)|
|Creators||Lam, V. S. W.and Padget, J.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)