Skip to Main Content
Idaho State University home

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
E
EAM
EAP
ECM
EDM
EEI
EFD
EFT
EIF
EMS
ENQ
EOF
EOL
EOT
EOU
EPL
Era
ES
ESS
ETB
ETL
ETX
EV
Exa
EXE
Endorsed Tools List
  • The list of formal verification tools endorsed by the NCSC for the development of systems with high levels of trust. (AF9K_JBC. TXT) (ETL) List of formal verification tools endorsed by the National Computer Security Center (NCSC) for the development of systems with high levels of trust.
NIATEC National Science Foundation Information Assurance Directorate Department of Homeland Security CISSE Scholarship For Service