A Model Checking Approach to Protocol Conversion

dc.contributor.author Sinha, Roopak
dc.contributor.author Roop, Partha
dc.contributor.author Basu, Samik
dc.contributor.department Computer Science
dc.date 2018-02-14T00:59:37.000
dc.date.accessioned 2020-06-30T01:56:52Z
dc.date.available 2020-06-30T01:56:52Z
dc.date.issued 2006-11-01
dc.description.abstract <p>Protocol conversion for mismatched protocols has been addressed in a number of formal and informal settings. However, existing solutions address this problem only partially. This paper develops the first on-the-fly local approach to protocol conversion based on temporal logic model checking. The tableau-based approach verifies the existence of a converter and if a converter exists, it is automatically synthesized. Our approach handles control and data mismatches under a single unifying framework. A NuSMV-based implementation has been developed and we provide results for some non-trivial protocol mismatch examples.</p>
dc.description.comments <p>©2006 All rights reserved</p>
dc.identifier archive/lib.dr.iastate.edu/cs_techreports/346/
dc.identifier.articleid 1343
dc.identifier.contextkey 5542782
dc.identifier.s3bucket isulib-bepress-aws-west
dc.identifier.submissionpath cs_techreports/346
dc.identifier.uri https://dr.lib.iastate.edu/handle/20.500.12876/20178
dc.source.bitstream archive/lib.dr.iastate.edu/cs_techreports/346/ISUTechReport482.pdf|||Fri Jan 14 23:42:26 UTC 2022
dc.subject.disciplines Software Engineering
dc.subject.keywords Formal methods
dc.subject.keywords model checking
dc.subject.keywords protocol conversion
dc.title A Model Checking Approach to Protocol Conversion
dc.type article
dc.type.genre article
dspace.entity.type Publication
relation.isOrgUnitOfPublication f7be4eb9-d1d0-4081-859b-b15cee251456
Original bundle
Now showing 1 - 1 of 1
225.19 KB
Adobe Portable Document Format