Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Lin Liu Articles by Jonathan Billington

Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007)

Adelaide, Australia

December 03-December 06

ISBN: 0-7695-3049-4

	ASCII Text	x
	Lin Liu, Jonathan Billington, "Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol," Parallel and Distributed Computing Applications and Technologies, International Conference on, pp. 480-487, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 2007.

	BibTex	x
	@article{ 10.1109/PDCAT.2007.68, author = {Lin Liu and Jonathan Billington}, title = {Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol}, journal ={Parallel and Distributed Computing Applications and Technologies, International Conference on}, volume = {0}, year = {2007}, isbn = {0-7695-3049-4}, pages = {480-487}, doi = {http://doi.ieeecomputersociety.org/10.1109/PDCAT.2007.68}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Parallel and Distributed Computing Applications and Technologies, International Conference on TI - Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol SN - 0-7695-3049-4 SP480 EP487 A1 - Lin Liu, A1 - Jonathan Billington, PY - 2007 VL - 0 JA - Parallel and Distributed Computing Applications and Technologies, International Conference on ER -

Lin Liu

Jonathan Billington

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/PDCAT.2007.68

Parametric protocol verification is a challenging research topic. Obtaining symbolic representations of service and protocol languages of a protocol enables parametric verification of the protocol against its Service specification. In this paper, we exploit recurrent structural regularities of state spaces to obtain symbolic representations of protocol languages for the revised Capability Exchange Signalling (CES) protocol. This leads to conjectures on a recursive expression for the revised CES protocol language and for the inclusion of the revised CES protocol language in the CES serviCe language, for any values of the parameters. This result also demonstrates the promising future of our approach to finding symbolic representations for service and/or protocol languages.

Citation:

Lin Liu, Jonathan Billington, "Symbolic Language Representations for Parametric Verification of the Revised Capability Exchange Signalling Protocol," pdcat, pp.480-487, Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007), 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.