Keyword : protocol specification


A State-Aware Protocol Fuzzer Based on Application-Layer Protocols
Takahisa KITAGAWA Miyuki HANAOKA Kenji KONO 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D  No. 5 ; pp. 1008-1017
Type of Manuscript:  PAPER
Category: Information Network
Keyword: 
fuzzingsoftware vulnerability testingprotocol specification
 Summary | Full Text:PDF(542.2KB)

A Protocol Specification-Based Intrusion Detection System for VoIP and Its Evaluation
Thyda PHIT Koki ABE 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2008/12/01
Vol. E91-B  No. 12 ; pp. 3956-3965
Type of Manuscript:  PAPER
Category: Internet
Keyword: 
IDSVoIPSIPRTPprotocol specificationstate machineOPNET
 Summary | Full Text:PDF(651.1KB)

On Specifying Protocols Based on LOTOS and Temporal Logic
Toshihiko ANDO Yasushi KATO Kaoru TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1994/08/25
Vol. E77-B  No. 8 ; pp. 992-1006
Type of Manuscript:  PAPER
Category: Signaling System and Communication Protocol
Keyword: 
protocol specificationformal specification technique
 Summary | Full Text:PDF(1009.8KB)

PROSPEX: A Graphical LOTOS Simulator for Protocol Specifications with N Nodes
Keiichi YASUMOTO Teruo HIGASHINO Toshio MATSUURA Kenichi TANIGUCHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 1015-1023
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
LOTOSservice definitionprotocol specificationsimulatorcorrectness
 Summary | Full Text:PDF(843.8KB)