[Skip Header and Navigation] [Jump to Main Content]
Home

Secondary Links

  • Publications
  • Centers
  • Media
  • Important Forms
  • Contact Us

Languages

  • العربية
  • English

Primary Links

  • Home
  • About
  • Programs
  • Faculty Achivements
  • Photo Gallery
  • Quality Unit
  • Students

Related Content

Computer Network and Information Security

Advisory Plan
Course Description
Home

Protocol Design and Validation

Department: 
Computer Network and Information Security
Course Code: 
686491
Credit Hours: 
3
Prerequests: 
Network design and simulation
Course Category: 
Department Elective Course

 

This course is an introduction to the formal design, specifications, and validation of communication protocols. Topics include: structured protocol design, protocol models, protocol validation, and protocol correctness requirements. Protocol modeling techniques such as FSM models and Petri net models are considered. Protocol verification techniques: Communicating FSM, reachability analysis, verification using checking, protocol design validation. A known verification modeling language such as PROMELA is considered. Specification and Description Language (SDL) may be considered

©2012 An-Najah National University|Faculty Of Engineering | P.O. Box: 7 | Nablus, Palestine | Phone: +970 (9) 2345113 Ext:2253 | Fax: +970 (9) 2345982 | email: [email protected]
[Jump to Top] [Jump to Main Content]