We apologize for a recent technical issue with our email system, which temporarily affected account activations. Accounts have now been activated. Authors may proceed with paper submissions. PhDFocusTM
CFP last date
20 November 2024
Call for Paper
December Edition
IJCA solicits high quality original research papers for the upcoming December edition of the journal. The last date of research paper submission is 20 November 2024

Submit your paper
Know more
The week's pick
Responsive image
An Efficient Restoration Method for the Faint Dot Matrix Images

Ao Zhu Peng Cao
Random Articles
Reseach Article

Using Knowledge-based System Techniques in the Protocol Design Process

by M. Nawaz Brohi
journal cover thumbnail

International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 35 - Number 6
Year of Publication: 2011
Authors: M. Nawaz Brohi
10.5120/4406-6120

M. Nawaz Brohi . Using Knowledge-based System Techniques in the Protocol Design Process. International Journal of Computer Applications. 35, 6 ( December 2011), 28-37. DOI=10.5120/4406-6120

@article{ 10.5120/4406-6120,
author = { M. Nawaz Brohi },
title = { Using Knowledge-based System Techniques in the Protocol Design Process },
journal = { International Journal of Computer Applications },
issue_date = { December 2011 },
volume = { 35 },
number = { 6 },
month = { December },
year = { 2011 },
issn = { 0975-8887 },
pages = { 28-37 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume35/number6/4406-6120/ },
doi = { 10.5120/4406-6120 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T20:21:17.898066+05:30
%A M. Nawaz Brohi
%T Using Knowledge-based System Techniques in the Protocol Design Process
%J International Journal of Computer Applications
%@ 0975-8887
%V 35
%N 6
%P 28-37
%D 2011
%I Foundation of Computer Science (FCS), NY, USA
Abstract

This paper describes the knowledge-based 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).

References
  1. Denning, D. E. 1987. “An Intrusion Detection Model,” IEEE Trans Software Eng 13(2): 222 232.
  2. Karthikeyan, B., Davor, O. and Carl, A.G. 2002. “Formal verification of standards for distance vector routing protocols,” JACM, 49 (4):538-576.
  3. Sunshine, C.A. 1979. “Formal techniques for protocol specification and verification,” IEEE Computer Magazine 12(9):20-27.
  4. West C.H. 1978. “An automated technique of communications protocol validation,” IEEE Trans Comm. 26(8):1271–1275.
  5. West, C.H. 1982. “Applications and limitations of automated protocol validation,” Proc. 2nd IFIP WG 6.1:361-373.
  6. Vuong, S. T. and Cowan, D. D. 1982. “Reachability Analysis of Protocols with non-FIFO Channels,” Proc. COMPCON: 49-57.
  7. Choi, T.Y., and Miller, R.E. 1983. “A decomposition method for the analysis and design of finite state protocols,” Proc. ACM/IEEE Data Comm: 167-176.
  8. Chow, C.H. 1985. “A discipline for the verification and modular construction of communication Protocols,” Ph.D. dissertation, University of Texas, Austin Texas.
  9. Lam, S.S., and Shankar, A.U. 1984. “Protocol Verification via projections,” IEEE Trans Software Eng 10(4):325-342.
  10. Blumer, T.P., and Sidhu, D.P. 1986. “Mechanical verification and automatic implementation of communication protocols,” IEEE Trans Software Eng.12 (8):827-842.
  11. Ansart, J.P. 1985. “Issues and tools for protocol specification. In Distributed Systems, Methods and Tools for Specification,” Springer Verlag, Berlin Germany: 481-538.
  12. Rudin, H., and West, C.H. 1982. “An improved protocol validation technique,” Computer Networks 6(2):65-73.
  13. Gouda, M.G., and Han, J.Y. 1985. “Protocol validation by fair progress state exploration,” Computer Networks & ISDN Systems 9:353-361.
  14. Zhao, J.R., and Bochmann, G. V. 1986. “Reduced reachability analysis of communication protocols: a new approach,” 6th Int’l Workshop on PSTV: 234-254.
  15. Gouda, M.G. and Yu, Y.T. 1984. “Protocol validation by maximal progress state exploration,” IEEE Trans Comm. 32(1):94-97.
  16. Gouda, M.G., and Yu, Y.T. 1984. “Synthesis of Communicating Finite-State Machines with guaranteed progress,” IEEE Trans Comm. 32(7):779-788.
  17. Itoh, M., and Ichikawa, H. 1983. “Protocol verification algorithm using reduced reachability analysis,” Trans. of IEICE Tran E66 (2):88-93.
  18. Brand, D., and Zafiropulo, P. 1983. “On Communicating finite state machines,” J ACM 30(2):323-342.
  19. Kakuda, Y., Wakahara, Y., and Norigoe, M. 1986. “A new algorithm for fast protocol validation,” Proc. IEEE COMPSAC: 228-236.
  20. Holzmann, G.J. 1985. “Tracing Protocols,” AT&T Tech. Jour. 64(10):2413-2434.
  21. Holzmann, G.J. 1987. “Automatic protocol validation in Argos, assertion proving and scatter searching,” IEEE Trans Software Eng 13(6):683-696.
  22. West, C.H. 1986. “Protocol Validation by Random State Exploration,” Proc. 6th IFIP WG 6.1:233-242.
  23. Vuong, S.T., Hui D.D., and Cowan, D.D. 1986. “Valira - A Tool for Protocol Validation via Reachability Analysis,” Proc. 6th Workshop on PSTV: 35-42.
  24. Lu, C.S. 1986. “Automated validation of communication protocols,” Ph.D. dissertation, Ohio State University, Columbus, Ohio.
  25. Purushothaman, S., and Subrahmanyam, P.A. 1987. “Reasoning about probabilistic behavior in concurrent systems,” IEEE Trans Software Eng 13(6):740-745.
  26. Lin, F.J., Chu, P.M., and Liu, M.T. 1987. “Protocol verification using reachability analysis: the state explosion problem and relief strategies,” Proc. ACM SIGCOMM 17(5):126-135.
  27. Bylander. T, Mittal.S. 1986. “CRSL: A Language for Classificatory Problem Solving and Uncertainty Handling,” AI Magazine 7(3):66-77.
  28. Mostow, J. 1985. “Toward Better Models of the Design Process,” AI Magazine 6(1):44-57.
  29. Mostow, J. 1985. “Foreword What is AI? And what Does It Have to Do with Software Engineering?” IEEE Trans Software Eng 11(11): 1253-1256.
  30. Simon, H.A. 1986. “Whether Software Engineering Needs to be Artificially Intelligent,” IEEE Trans Software Eng 12 (7): 726-732.
  31. Balzer, R. 1985. “A 15 Year Perspective on Automatic Programming,” IEEE Trans Software Eng 11(11):1257-
Index Terms

Computer Science
Information Sciences

Keywords

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

Powered by PhDFocusTM