Title	Design of Software Security Verification with Formal Method Tools
Author	Seung-Ju Jang, Jungwoo Ryoo, ChangYeol Lee
Citation	Vol. 6  No. 9  pp. 163-167
Keywords	Software Security, Verification, Formal Method Tools, RoZ.

Title	On the Enhancement of Unequal Error Protection Performances in Images Transmission over Time-Varying Channels
Author	Pasteur Poda, Ahmed Tamtaoui
Citation	Vol. 6  No. 9  pp. 168-174
Keywords	ARQ/FEC, JPEG images, RCPC codes, time-varying channels, UEP.

Title	Structural Framework for High Speed Intrusion Detection/Prevention Signature Based Systems
Author	Vuka?in Pejovi?, Slobodan Bojani?, Carlos CarrerasVaquer
Citation	Vol. 6  No. 9  pp. 175-181
Keywords	Hardware, NIP(D)S, Signature , Misuse Detection, High Speed

Title	EPC Tag Authentication with Randomized Characteristics for Strong Privacy
Author	Soohyun Oh, Jin Kwak
Citation	Vol. 6  No. 9  pp. 182-186
Keywords	RFID, privacy, tracking, hash function