Yoshinobu KAWABE


FOREWORD
Yoshinobu KAWABE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2016/06/01
Vol. E99-D  No. 6  pp. 1409-1409
Type of Manuscript:  FOREWORD
Category: 
Keyword: 
 Summary | Full Text:PDF(82.6KB)

On Backward-Style Anonymity Verification
Yoshinobu KAWABE Ken MANO Hideki SAKURADA Yasuyuki TSUKADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/09/01
Vol. E91-A  No. 9  pp. 2597-2606
Type of Manuscript:  PAPER
Category: Cryptography and Information Security
Keyword: 
formal methodsanonymitysoftware securityverificationtheorem-proving
 Summary | Full Text:PDF(667.2KB)

An Adversary Model for Simulation-Based Anonymity Proof
Yoshinobu KAWABE Hideki SAKURADA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/04/01
Vol. E91-A  No. 4  pp. 1112-1120
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 20th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
formal methodsanonymitysoftware securityverificationtheorem-proving
 Summary | Full Text:PDF(209.4KB)

Verifying Trace Equivalence of a Shared-Memory-Style Communication System
Yoshinobu KAWABE Ken MANO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2005/04/01
Vol. E88-A  No. 4  pp. 915-922
Type of Manuscript:  Special Section PAPER (Special Section on Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
Category: 
Keyword: 
I/O-automatontrace equivalencetheorem proving
 Summary | Full Text:PDF(236.8KB)

Termination of Order-Sorted Rewriting with Non-minimal Signatures
Yoshinobu KAWABE Naohiro ISHII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/08/25
Vol. E81-D  No. 8  pp. 839-845
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
order-sorted term rewriting systemsterminationnon-minimal signatures
 Summary | Full Text:PDF(675.3KB)

The Completeness of Order-Sorted Term Rewriting Systems Is Preserved by Currying
Yoshinobu KAWABE Naohiro ISHII 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1997/03/25
Vol. E80-D  No. 3  pp. 363-370
Type of Manuscript:  PAPER
Category: Software Theory
Keyword: 
curryingorder-sorted term rewriting systems
 Summary | Full Text:PDF(699KB)