Secure Ada target: issues, system design, and veri cation (1985)

by W E Boebert, W D Young, R Y Kain, S A Hansohn
Venue:In Proceedings of the 1985 Symposium on Security and Privacy, pages 176{183, IEEE Computer Society