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