A Study on Network Protocol Validation Based on Timed Automata

Shao Feng Li

doi:10.4028/www.scientific.net/AMM.543-547.3386

Paper Titles

Parallelized Sub-Resource Loading for Web Rendering Engine
p.3369

Mobile Agents Build Web Information Retrieval System
p.3373

Design of Radio Program Production System Based on CSCW
p.3377

RETRACTED: Towards the Improvement of Replication
p.3382

A Study on Network Protocol Validation Based on Timed Automata
p.3386

The Research on WLAN and its Traffic Characteristics
p.3391

Research of Survivability Scheme with Cooperative Information Management Based on IOT
p.3395

Research on OpenGL Based Virtual Simulation Environment for Non-Lethal Weapon System
p.3402

A New Cache Management Scheme in Information Centric Networks
p.3406

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 543-547A Study on Network Protocol Validation Based on...

A Study on Network Protocol Validation Based on Timed Automata

Abstract:

With the increasingly complex of computer software system, traditional software engineering methods for major software development will inevitably produce a lot of mistakes and catastrophic consequences for key industry users. Experiment with software engineering methods cannot guarantee the behavior at infinity reliability and security of the state space. All this requires formal analysis and verification to the complex system. In protocol verification based on automatic machines, the automaton is used to represent the behavior of the system, the time automaton is a formal method can be well applied to the network protocol verification.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 543-547)

Pages:

3386-3390

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.543-547.3386

Citation:

Cite this paper

Online since:

March 2014

Authors:

Shao Feng Li*

Keywords:

Kronos, Network Protocol Verification, Timed Automata

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

* - Corresponding Author

References

[1] Y. Li, B. Peng, D. B. Xiao: Computer network communication protocol verification technology research. Computer engineering, Vol. 28 (2002) No. 11, pp.251-252.

Google Scholar

[2] L. J. Wu, K. L. Su: Study on the method of security protocol authentication formal. Computer engineering, Vol. 40 (2004) No. 17, pp.153-155.

Google Scholar

[3] Alur R, Dill D L: A Theory ofTimed Automata. Theoretical Computer Science, Vol. 126 (1994) No. 2, pp.183-235.

DOI: 10.1016/0304-3975(94)90010-8

Google Scholar

[4] Behrmann G, David A and Larsen K G: A Tutorial on Uppaal. Springer-Verlag, (2004), pp.200-236.

Google Scholar

[5] Yovine S. Kronos: A Verification Tool for Real-time Systems. International Journal on Software Tools for Technology Transfer, (1997) , pp.123-133.

DOI: 10.1007/s100090050009

Google Scholar

[6] W. J. Zhu: Several new models based on timed automata research.

Google Scholar