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	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	Route Modeling in a Self-Organizing HIP Infrastructure
Author	Dmitry Korzun, Andrei Gurtov
Citation	Vol. 6  No. 1  pp. 37~46
Keywords	HIP, DHT, route modeling, linear Diophantine constraints, Hilbert basis

Title	A virtual subnet protocol for mobile ad hoc networks using forwarding cache scheme
Author	Tzu-Chiang Chiang, Ching-Hung Yeh, Yueh-Min Huang
Citation	Vol. 6  No. 1  pp. 108~115
Keywords	Virtual Local Area Network, wireless networks, ad hoc networks, multiple-group