A. Castro, C. Santos, and P. Geus. " MV6 – Um Mecanismo de Transição Baseado em Máquinas Virtuais", in Proceedings of the 4th Workshop on Computer Systems Security, Gramado, 2004, pp. 1-11, doi: https://doi.org/10.5753/sbseg.2004.21221.