Scholarly Works

Verification of the WAP Transaction Layer

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.

Associated Experts

Ryszard Janicki

Professor, Faculty of Engineering

Labels

Fields of Research (FoR)

4613 Theory Of Computation 46 Information and Computing Sciences 4612 Software Engineering

View published work (Non-McMaster Users)

Contact the Experts team

Get technical help

or

Provide website feedback