Keyword : cryptographic protocol


Security Verification of Real-Time Cryptographic Protocols Using a Rewriting Approach
Takehiko TANAKA Yuichi KAJI Hajime WATANABE Toyoo TAKATA Tadao KASAMI 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/04/25
Vol. E81-D  No. 4 ; pp. 355-363
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
security verificationcryptographic protocoltimestampconditional term rewriting system network security
 Summary | Full Text:PDF(893KB)

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)

Electronic Voting Scheme Allowing Open Objection to the Tally
Kazue SAKO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1994/01/25
Vol. E77-A  No. 1 ; pp. 24-30
Type of Manuscript:  Special Section PAPER (Special Section on Cryptography and Information Security)
Category: 
Keyword: 
electronic votinganonymityprivacycryptographic protocol
 Summary | Full Text:PDF(507.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)