Benevides, Mario, 		Fernandez, Luiz, E 		de Oliveira, Anna.
" Epistemic Logic Based on Dolev-Yao Model" <em>Anais do Encontro de Teoria da Computação (ETC)</em> [Online], (2 julho 2017)