Title	Model-Based Product Redesign
Author	LI Zhan-Shan, KOU Fei-hong, Cheng Xiao-chun, Wang Tao
Citation	Vol. 6  No. 1  pp. 99~102
Keywords	model-based reasoning, design conflict, redesign

Title	Description Logic Based Conflict Detection Methods for RB-RBAC Model
Author	Haibo Yu, Qi Xie, Haiyan Che
Citation	Vol. 6  No. 1  pp. 120~125
Keywords	RB-RBAC, Description Logic, Policy conflict, Conflict detection

Title	Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
Author	Zhenhua Yu, Yuanli Cai
Citation	Vol. 6  No. 1  pp. 123~131
Keywords	Multi-agent systems, software architecture, architecture description language, Object-Oriented Petri nets, BDI model

Title	High Performance Elliptic Curve GF(2m) Cryptoprocessor Secure Against Timing Attacks
Author	Turki F. Al-Somani, M. K. Ibrahim
Citation	Vol. 6  No. 1  pp. 177~183
Keywords	Elliptic Curves Cryptosystems, Mixed Coordinates, Parallel Designs, Normal Basis