Title	Security Threats/Attacks Present in Cloud Environment
Author	Kashif Munir, Sellapan Palaniappan
Citation	Vol. 12  No. 12  pp. 107-114
Keywords	Cloud Computing, Security and Privacy, Internet based Services, Secure Cloud Architecture

Title	Use of Labview Software for Measuring the Change of Surface Potential of Thin Dielectric Layers
Author	Justinas Jurk?us, Tadeu? Lozovski, Miroslav ?eibak, Germanas Budnikas
Citation	Vol. 12  No. 12  pp. 115-120
Keywords	LabView, Real Time Monitoring and Control, Method of Dosed Charging

Title	Creation and Static Verification of Extended Automata Knowledge Base
Author	Germanas Budnikas, Tadeu? Lozovski, Miroslav ?eibak
Citation	Vol. 12  No. 12  pp. 121-128
Keywords	Extended automata, knowledge base, static verification, decision table

Title	Creation of Estelle Specifications Using Predicate Logic
Author	Germanas Budnikas, Tadeu? Lozovski, Miroslav ?eibak
Citation	Vol. 12  No. 12  pp. 129-135
Keywords	Estelle specification, first order predicates, alternating bit protocol