The IT Law Wiki

Endorsed Tools List

32,063pages on
this wiki
Add New Page
Add New Page Talk0

Definition Edit

An Endorsed Tools List (ETL) is a list of those formal verification systems recommended by the National Computer Security Center (NCSC) for use in developing highly trusted systems.

One such list is set forth in the NSA's Information Systems Security Products and Services Catalogue.

Also on Fandom

Random Wiki