Keyword : protocol validation

Validation of the Detailed Design of the Label Distribution Protocol for the Multiprotocol Label Switching System
Jae-Hyun PARK 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2003/02/01
Vol. E86-B  No. 2  pp. 506-517
Type of Manuscript: Special Section PAPER (Special Issue on Internet Technology III)
Category: MPLS and Routing
Keyword: 
protocol validation,  MPLS,  label distribution protocol,  process algebra, 
  Summary |  Full Text:PDF
On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels
Yoshiaki KAKUDA  Yoshihiro TAKADA  Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/04/20
Vol. E77-A  No. 4  pp. 658-667
Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications)
Category: 
Keyword: 
computational complexity,  deadlock,  NP-complete,  protocol,  protocol validation, 
  Summary |  Full Text:PDF