NSA otvorila projekt vývoja bezpečného softvéru
National Security Agency (NSA) uvoľnila svoj výskumný projekt Tokeneer pre potreby Open-Source komunity. Projekt bol vytvorený využitím Praxis Correctness by Construction (CbyC) metodológie a používa SPARK Ada jazyk a AdaCore GNAT Pro environment, to všetko za jediným účelom a tým je (cenovo-efektívny) vývoj bezpečného a nízko defektného softu (kódu). Zdroj správy.
Pre pridávanie komentárov sa musíte prihlásiť.