Secure Ada Target: Issues, System Design, and Verification.

William Earl Boebert, R. Y. Kaln, William D. Young, S. A. Hansohn

Browse the full SP paper archive.