Mir6: Visual specification of security (1990)

by A tIEYDON, M W MAIMONE, J D TYGAR, J M WING, A M ZAREMSKI
Venue:IEEE Trans. Softw. Eng