A. Castro, C. Santos, and P. Geus. "MV6 – Um Mecanismo de Transição Baseado em Máquinas Virtuais", in Anais do IV Workshop em Segurança de Sistemas Computacionais, Gramado, 2004, pp. 1-11, doi: https://doi.org/10.5753/sbseg.2004.21221.