IEICE SEARCH SYSTEM

Hajime WATANABE

Secure Broadcast System with Simultaneous Individual Messaging Arisa FUJII Go OHTAKE Goichiro HANAOKA Nuttapong ATTRAPADUNG Hajime WATANABE Kazuto OGAWA Hideki IMAI
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2011/06/01 Vol. E94-A No. 6 pp. 1328-1337 Type of Manuscript: Special Section PAPER (Special Section on Discrete Mathematics and Its Applications) Category: Keyword: digital broadcasting, copyright protection, Conditional Access System (CAS), broadcast encryption,
	Summary \| Full Text:PDF (730.6KB)

An Efficient 2-Secure and Short Random Fingerprint Code and Its Security Evaluation Koji NUIDA Satoshi FUJITSU Manabu HAGIWARA Hideki IMAI Takashi KITAGAWA Kazuto OGAWA Hajime WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2009/01/01 Vol. E92-A No. 1 pp. 197-206 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Application Keyword: fingerprint, c-secure code, collusion attack, security analysis, watermark, DRM,
	Summary \| Full Text:PDF (527.3KB)

A Random-Error-Resilient Collusion-Secure Fingerprinting Code, Randomized c-Secure CRT Code Hajime WATANABE Takashi KITAGAWA
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2003/10/01 Vol. E86-A No. 10 pp. 2589-2595 Type of Manuscript: Special Section PAPER (Special Section on Information Theory and Its Applications) Category: Information Security Keyword: illegal copy, fingerprinting, watermarking, collusion attack, c-Secure CRT Code,
	Summary \| Full Text:PDF (301KB)

Relations among Security Goals of Probabilistic Public-Key Cryptosystems Ako SUZUKI Yuichi KAJI Hajime WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/01/01 Vol. E84-A No. 1 pp. 172-178 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: probabilistic public-key encryption schemes, chosen-plaintext attack, chosen-ciphertext attack, equivalence undecidability, non-verifiability,
	Summary \| Full Text:PDF (272.2KB)

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/20 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 (894.9KB)

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/20 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 (691.2KB)

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/20 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 (632.3KB)