Kazuo Takaragi

THE MANUFACTURE AND DISTRIBUTION OF GOODS REQUIRES GOOD QUALITY AND INVENTORY CONTROL. THE RFID-ENABLED µ-CHIP’S SMALL SIZE AND LOW COST MAKE IT SUITABLE FOR ATTACHMENT TO PAPER MEDIA AND SMALL PRODUCTS, AIDING COUNTERFEIT PREVENTION AND PRODUCT TRACKING (2008)

Kazuo Takaragi, Mitsuo Usami, Ryo Imura, Rei Itsuki, Tsuneo Satoh, Market Environments

There is an ever increasing demand for improved electronic system solutions to support such fields as manufacturing, product distribution and sales, finance, transportation, and customer service. In...

An Identity Control Method considering Privacy (2008)

Hajime Morito, Akihiko Kawasaki, Toyohisa Morita, Kazuo Takaragi

Abstract With the complete introduction of the law for protecting personal information in April 2005, the needs concerning protection of privacy have become ever more demanding. Accordingly, in this...

Generalized Powering Functions and their Application to Digital Signatures (2008)

Hisayoshi Sato, Tsuyoshi Takagi, Satoru Tezuka, Kazuo Takaragi

Abstract. This paper investigates some modular powering functions suitable for cryptography. It is well known that the Rabin encryption function is a 4-to-1 mapping and breaking its one-wayness is...

Under consideration for publication in Formal Aspects of Computing Verifying a Signature Architecture — A Comparative Case Study (2008)

David Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff

Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises several concurrently...

PAPER Special Section on Cryptography and Information Security Generalized Powering Functions and Their Application to Digital Signatures ∗ (2006)

Hisayoshi Sato †a, Tsuyoshi Takagi, Satoru Tezuka, Kazuo Takaragi

SUMMARY This paper investigates some modular powering functions suitable for cryptography. It is well known that the Rabin encryption function is a 4-to-1 mapping and breaking its one-wayness is...

Verification of a signature architecture with HOL-Z (2005)

David Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff

Abstract. We report on a case study in using HOL-Z, an embedding of Z in higher-order logic, to specify and verify a security architecture for administering digital signatures. We have used HOL-Z to...

A formal analysis of a digital signature architecture (2004)

Kunihiko Miyazaki, Kazuo Takaragi

Abstract We report on a case study in applying formal methods to model and validate an architecture for administrating digital signatures. We use a process-oriented modeling language to model a...

A new keystream generator MUGI (2002)

Dai Watanabe, Soichi Furuya, Hirotaka Yoshida, Kazuo Takaragi, Bart Preneel

Abstract. We present a new keystream generator (KSG) MUGI, which is a variant of Panama proposed at FSE ’98. MUGI has a 128-bit secret key and a 128-bit initial vector as parameters and generates a...

A new keystream generator MUGI (2002)

Dai Watanabe, Soichi Furuya, Hirotaka Yoshida, Kazuo Takaragi, Bart Preneel

Abstract. We present a new keystream generator (KSG) MUGI, which is a variant of Panama proposed at FSE ’98. MUGI has a 128-bit secret key and a 128-bit initial vector as parameters and generates a...

A threshold digital signature issuing scheme without secret communication (2000)

Kazuo Takaragi, Kunihiko Miyazaki, Masashi Takahashi

This paper describes an efficient (k, n) threshold digital signature scheme. In the scheme, k out of n signers cooperate to issue a signature without using trusted center. No secret communication is...