Baquerizo Anastacio, M.M. and Guevara Maldonado, C.B. 2016. Security analysis of e-government systems using SAT problem. INGE CUC. 12, 1 (Jun. 2016), 73–79. DOI:https://doi.org/10.17981/ingecuc.12.1.2016.07.