Title	Modeling Discretional Access Control in Automatic Teller Machine Using Denotational Mathematics
Author	Rufai M. M., Adigun J. O., Yekini N. A.
Citation	Vol. 11  No. 11  pp. 58-64
Keywords	ATM, Access Control, Discretional Access Control, Denotational Mathematics

Title	Computer-Based Automated Voting Machine (AVM) for Elections in Nigeria
Author	Yekini, N.A., Oyeyinka I. K., Oludipe O.O., Lawal O.N
Citation	Vol. 12  No. 5  pp. 57-62
Keywords	ATM(AutomatedTellerMachine), AVM (Automated Voting Machine), Democracy, DRE (Direct recording electronic voting), Paper based electronic voting