Juhime tähelepanu, et artikkel on rohkem kui viis aastat vana ning kuulub meie arhiivi. Ajakirjandusväljaanne ei uuenda arhiivide sisu, seega võib olla vajalik tutvuda ka uuemate allikatega.
/nginx/o/2016/09/14/5832387t1h3457.jpg)
Galois ja Guardtime said 1,8 miljoni dollarilise USA Kaitseuuringu Projektide Agentuuriga (DARPA) lepingu plokiahelapõhise tervikluse seiresüsteemi formaalseks verifitseerimiseks.
Formaalse verifitseerimise valdkonna liider Galois ja Eestis asutatud küberkaitse tehnoloogiaettevõte Guardtime, millel on suurkliendid üle maailma, sealhulgas Lockheed Martin, Raytheon jne, teatasid, et on ühiselt võitnud USA Kaitseministeeriumi Perspektiivuuringute Agentuuri 1,8 miljoni dollarilise lepingu Guardtime tehnoloogia Keyless Signature Infrastructure (KSI) õigsuse verifitseerimiseks.
Selle lepinguga rahastatakse olulist ettevõtmist, mille eesmärk on edendada formaalse verifitseerimise vahendite ja kõigi plokiahelapõhiste tervikluse seiresüsteemide olukorda.