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

Title	Handmetric Verification Based on Feature-Level Fusion
Author	Qiang Li, Zhengding Qiu
Citation	Vol. 6  No. 2  pp. 164~168
Keywords	Multimodal biometric, handmetric verification, feature-level fusion, kernel principal components analyze, palmprint

Title	Fiscal Cash Register Embedded System Test with Scenario Pattern
Author	REN Yu
Citation	Vol. 6  No. 5  pp. 38-41
Keywords	Embedded System, Scenario Pattern, Verification Pattern, ACDATE, Fiscal Cash Register

Title	An Improved Generalized Threshold Authenticated Encryption Scheme
Author	Wenfang Zhang, Dake He, Xiaomin Wang
Citation	Vol. 6  No. 8  pp. 195-201
Keywords	Generalized threshold cryptography, Authenticated encryption, Threshold authenticated encryption, Threshold-shared verification