Conference
Verification of the WAP Transaction Layer
Abstract
This paper presents a formal approach of formalizing and verifying the Transaction Layer Protocol design in the approved Wireless Application Protocol architecture (WAP Version 2.0). By using the model checker SPIN, we uncover defects in the protocol, which can lead to deadlock and unfaithful refinement of the service definition. A set of desired properties is then verified for the corrected protocol model.
Authors
He Y-T; Janicki R
Pagination
pp. 366-375
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 2004
DOI
10.1109/sefm.2004.1347541
Name of conference
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.