Abstract
Four automated specification and verification environments are surveyed and compared:HDM, FDM, Gypsy, and AFFIRM. The emphasis of the comparison is on the way thesesystems could be used to prove secumty properties of an operating system design. © 1981, ACM. All rights reserved.
Author supplied keywords
Cite
CITATION STYLE
APA
Harris Cheheyl, M., Gasser, M., Huff, G. A., & Millen, J. K. (1981). Verifying Security. ACM Computing Surveys (CSUR), 13(3), 279–339. https://doi.org/10.1145/356850.356853
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free