Keyword : protocol verification


Verification of Content-Centric Networking Using Proof Assistant
Sosuke MORIGUCHI Takashi MORISHIMA Mizuki GOTO Kazuko TAKAHASHI 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 2016/11/01
Vol. E99-B  No. 11 ; pp. 2297-2304
Type of Manuscript:  Special Section PAPER (Special Section on Deepening and Expanding of Information Network Science)
Category: 
Keyword: 
Content-Centric Networkingproof assistantnetwork topologyprotocol verification
 Summary | Full Text:PDF(1.1MB)

An lmproved Method for Formal Security Verification of Cryptographic Protocols
Hajime WATANABE Toru FUJIWARA Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1996/07/25
Vol. E79-A  No. 7 ; pp. 1089-1096
Type of Manuscript:  PAPER
Category: Information Security
Keyword: 
authenticationcomputer securitycryptographic protocolprotocol verification
 Summary | Full Text:PDF(689.3KB)

Protocol Verification Tool with Extended Petri Net and Horn Clause
Takashi WATANABE Tsuyoshi OHTA Fumiaki SATO Tadanori MIZUNO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1995/11/25
Vol. E78-A  No. 11 ; pp. 1458-1467
Type of Manuscript:  Special Section PAPER (Special Section on Net Theory and Its Applications to Discrete Event System Design)
Category: 
Keyword: 
communication networks and servicesprotocol verificationPetri netPrologHorn clause
 Summary | Full Text:PDF(765.1KB)

A System for Deciding the Security of Cryptographic Protocols
Hajime WATANABE Toru FUJIWARA Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1993/01/25
Vol. E76-A  No. 1 ; pp. 96-103
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
computer securitycryptographic protocolprotocol verification
 Summary | Full Text:PDF(630.8KB)

An Acyclic Expansion-Based Protocol Verification for Communications Software
Hironori SAITO Yoshiaki KAKUDA Toru HASEGAWA Tohru KIKUNO 
Publication:   IEICE TRANSACTIONS on Communications
Publication Date: 1992/10/25
Vol. E75-B  No. 10 ; pp. 998-1007
Type of Manuscript:  Special Section PAPER (Special Issue on Communication Software Technologies)
Category: 
Keyword: 
communications softwarecommunication protocolprotocol verificationfinite state machineacyclic expansion algorithmtemporal logic
 Summary | Full Text:PDF(905.4KB)