Glossary

Filter:
# A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
H
H
Hat
HCF
HD
HDM
Hex
HF
HLL
Hog
HOL
Hop
HSM
HUS
Hz
Hierarchical Development Methodology (HDM)
  • A formal specification and verification methodology developed at SRI International. HDM is based on a nonprocedural, state transition specification language, SPECIAL, and provides a security flow analysis tool, MLS, for verifying the multilevel security properties of a user-interface specification. (MTR-8201;)
  • A software development methodology which makes use of the language SPECIAL to formally prove design specifications. SPECIAL is a language developed by SRI International. (NCSC-WA-001-85;)