Title	A Simple Protocol for Yes-No Electronic Voting
Author	A.B. Cabello Pardos, A. Hern?ndez Encinas, S. Hoya White, A. Mart?n del Rey, G. Rodr?guez S?nchez
Citation	Vol. 7  No. 7  pp. 72-76
Keywords	Electronic vote, cryptography, blind signatures

Title	Modeling and Formal Verification of Communication Protocols for Remote Procedure Call
Author	Nilimesh Halder, A.B.M Tariqul Islam, Ju Bin Song
Citation	Vol. 7  No. 7  pp. 63-71
Keywords	Formal Verification, Symbolic Model Verifier, Remote Procedure Call, Request protocol, Request Reply protocol, Request Reply Acknowledgement protocol

Title	Parsing of Korean Based on CFG Using Sentence Pattern Information
Author	Hyeon-Yeong Lee, Yi-Gyu Hwang, Yong-Seok Lee
Citation	Vol. 7  No. 7  pp. 57-62
Keywords	Resolution of Syntactic Ambiguity, Unification based CFG, Sentence Patterns Information (SPI), Semantic Marker, Parsing

Title	A Structural Analysis Approach for Online Handwritten Mathematical Expressions
Author	B.Q. Huang, M-T. Kechadi
Citation	Vol. 7  No. 7  pp. 47-56
Keywords	Online handwritten mathematical expression recognition, Structural analysis, Baseline, Multilayer Perceptron Neural Networks, Support Vector Machines