Volume 6 Number 2 (Dec. 2018)

Volume 6 Number 2 (Dec. 2018)

Article#	Article Title & Authors	Page
258	Automated Logic-Based Technique for Formal Verification of Security Protocols Anca D. Jurcut	77
259	Performance Analysis for Clusters of BLE Devices with Heterogeneous Parameters Gaoyang Shan, Seung-hun Shin, and Byeong-hee Roh	86
260	Loquat: An Interactive System Design for Location-Aware Query Autocompletion Sheng Hu, Chuan Xiao, and Yoshiharu Ishikawa	91
261	Design of Switch Operation Mode Rectenna and Analysis Effect of Power Absorbed Rectenna toward Power Received on FM 88-108 MHz Radio Rudy Yuwono, Hilman Y.R, and Endah Budi.Purnomowati	99
262	Research on the Characteristics of the Low Voltage Power Line Carrier Communication Channel Bochuan Wang, Xixiu Wu, Zhuqing Xia, Xin Yang, and Zhining Yang	103