Allan Heydon, Mark W. Maimone, J. D. Tygar, Jeannette M. Wing, Amy Moormann Zaremski. Miró: Visual Specification of Security. IEEE Trans. Software Eng., 16(10):1185-1197, 1990. [doi]
@article{HeydonMTWZ90,
title = {Miró: Visual Specification of Security},
author = {Allan Heydon and Mark W. Maimone and J. D. Tygar and Jeannette M. Wing and Amy Moormann Zaremski},
year = {1990},
url = {http://www.computer.org/tse/ts1990/e1185abs.htm},
tags = {security},
researchr = {https://researchr.org/publication/HeydonMTWZ90},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {16},
number = {10},
pages = {1185-1197},
}