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 validationMPLSlabel distribution protocolprocess algebra
 Summary | Full Text:PDF(402.4KB)

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/25
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 complexitydeadlockNP-completeprotocolprotocol validation
 Summary | Full Text:PDF(781.5KB)