Title	A Processor Development Environment C-DASH
Author	Hideaki Yanagisawa, Minoru Uehara, Hideki Mori
Citation	Vol. 6  No. 1  pp. 227~233
Keywords	ISA (Instruction Set Architecture), HW/SW Codesign (A Processor Development Environment), C-DASH (C-like Design Automation Shell, HDL (Hardware Description Language)

Title	1-out-of-L Electronic Voting with Ballot-Cancellation Property Using Double Encryption
Author	Yong-Sork Her, Kenji Imamoto, Kouichi Sakurai
Citation	Vol. 6  No. 1  pp. 217~226
Keywords	Electronic voting, Privacy, Security, Ballot-cancellation, Cryptography

Title	Architectures for Self-Healing Databases under Cyber Attacks
Author	Peng Liu, Jiwu Jing
Citation	Vol. 6  No. 1  pp. 204~216
Keywords	Self-Healing Databases, Cyber Security, Architectures

Title	Timed Weak Simulation Verification and its application to Stepwise Refinement of Real-Time Software
Author	Satoshi Yamane
Citation	Vol. 6  No. 1  pp. 192~203
Keywords	Refinement Design Method, Real-Time Software, Timed Weak Simulation Relation, Verification, Real-Time Scheduling