Title	Securing Telecommunication based on Speaker Voice as the Public Key
Author	Monther Rateb Enayah, Azman Samsudin
Citation	Vol. 7  No. 3  pp. 201-209
Keywords	Cryptography, Secure Telecommunication, Voice Recognition

Title	Redundant Communication Avoidance for Event-Driven Wireless Sensor Network
Author	Hung-Cuong Le, Herv? Guyennet, Noureddine Zerhouni
Citation	Vol. 7  No. 3  pp. 193-200
Keywords	energy efficiency, medium access control, over-hearing, wireless sensor networks

Title	A Formal Verification Case Study for IEEE-P.896 Bus Arbiter by using A Model Checking Tool
Author	Katsumi Wasaki
Citation	Vol. 7  No. 3  pp. 184-192
Keywords	Formal Verification, Model Checking, Temporal Logic, Bus Arbiter, Hardware Description Languages

Title	A Framework for Predicting Security and Dependability Measures in Real-time
Author	Karin Sallhammar, Bjarne E. Helvik, Svein J. Knapskog
Citation	Vol. 7  No. 3  pp. 169-183
Keywords	Stochastic modeling, integrating security and dependability, security measures, real-time prediction, hidden Markov models