Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


ucin982104729.pdf (553.71 KB)

ETD Abstract Container

Abstract Header

Formal Methods Applied to the Specification of an Active Network Node

Kong, Cindy
http://rave.ohiolink.edu/etdc/view?acc_num=ucin982104729

Abstract Details

2001, MS, University of Cincinnati, Engineering : Computer Engineering.
An active network describes a new generation of network where all network nodes are programmable. Nodes can be configured according to user requirements at booting or on-the-fly, and each node can also provide computational capabilities to process regular data carrying packets. The flexibility gained in the dynamics of active networks gives rise to significant security and safety issues. In this thesis, we apply Formal Methods to the specification of an active node. The specification process consists of designing a formal framework and then evaluating it. Constructive and axiomatic specifications are used during the design. Evaluation of the framework is achieved by building a working node model and verifying that the model demonstrates the critical properties of an active node. The formal framework and model are both written in the Prototype Verification System (PVS) language. The PVS theorem prover is then used for verifying and validating the proposed model.
Perry Alexander (Advisor)
75 p.
Computer Science
Formal Specification of an Active Network Node; Prototype Verification System (PVS); Constructive Specification; Axiomative Specification; Formal Framework; Formal Methods; Formal Model

Recommended Citations

Citations

  • Kong, C. (2001). Formal Methods Applied to the Specification of an Active Network Node [Master's thesis, University of Cincinnati]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=ucin982104729

    APA Style (7th edition)

  • Kong, Cindy. Formal Methods Applied to the Specification of an Active Network Node. 2001. University of Cincinnati, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=ucin982104729.

    MLA Style (8th edition)

  • Kong, Cindy. "Formal Methods Applied to the Specification of an Active Network Node." Master's thesis, University of Cincinnati, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin982104729

    Chicago Manual of Style (17th edition)

ucin982104729
504
© 2001, all rights reserved.
This open access ETD is published by University of Cincinnati and OhioLINK.