Amorim, A. A. d., Denes, M., Giannarakis, N., Hritcu, C., Pierce, B. C., Spector-Zabusky, A., & Tolmach, A. (2015). Micro-Policies: Formally Verified, Tag-Based Security Monitors. 2015 IEEE Symposium on Security & Privacy, 813. https://doi.org/10.1109/SP.2015.55
Παραπομπή σε μορφή Chicago (17η εκδ.)Amorim, Arthur Azevedo de, Maxime Denes, Nick Giannarakis, Catalin Hritcu, Benjamin C. Pierce, Antal Spector-Zabusky, και Andrew Tolmach. "Micro-Policies: Formally Verified, Tag-Based Security Monitors." 2015 IEEE Symposium on Security & Privacy 2015: 813. https://doi.org/10.1109/SP.2015.55.
Παραπομπή σε μορφή MLA (9th εκδ.)Amorim, Arthur Azevedo de, et al. "Micro-Policies: Formally Verified, Tag-Based Security Monitors." 2015 IEEE Symposium on Security & Privacy, 2015, p. 813, https://doi.org/10.1109/SP.2015.55.