Academic Journals Database
Disseminating quality controlled scientific knowledge

Using Knowledgebased System Techniques in the Protocol Design Process

Author(s): M. Nawaz Brohi}

Journal: International Journal of Computer Applications
ISSN 0975-8887

Volume: 35;
Issue: 6;
Start page: 28;
Date: 2011;
Original page

Keywords: Axioms | Correctness proving | Deductive inference | Intelligent assistant | Knowledge-based system | Interface engine | Protocol validation | Protocol verification | Reachability analysis

This paper describes the knowledgebased system techniques, such as program transformation and artificial intelligence techniques, used to design a reliable protocol. Program transformation techniques can be used in deriving protocol specifications. AI techniques, such as search algorithms and theorem proving, can be used to reduce the global space search. AI techniques can also be used to help correctness proving in protocol validation and verification. This study is based on the Alternative Bit Protocol 'ABP'.

Tango Jona
Tangokurs Rapperswil-Jona

     Affiliate Program