Employing Dynamic Logic in Cybersecurity. - Grandon Gill; Bernardo Rodrigues (J. Inf. Technol. Educ. Discuss. Cases, 2017)