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 verification, cryptographic protocol, timestamp, conditional term rewriting system,  network security, 
 Summary | Full Text:PDF
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: 
authentication, computer security, cryptographic protocol, protocol verification, 
 Summary | Full Text:PDF
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 voting, anonymity, privacy, cryptographic protocol, 
 Summary | Full Text:PDF
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 security, cryptographic protocol, protocol verification, 
 Summary | Full Text:PDF