Příklad programu, který nemusí být open-source, a přitom o něm lze dokázat, že soukromí ctí: https://sel4.systems/
Sorry, jejich dokazovač potřebuje vidět zdroják.
Dokazovač, který to uvaří přímo ze zkompilovaného kódu, si implementujte za domácí úkol ;)
On 20.10.2015 13:29, Jan Hrach wrote:
On 20.10.2015 10:52, Dominik Taborsky wrote:
No a me prijde smysl i v tom, aby i na PCckach lidi pouzivali open-source. Soukromi a tak.
Soukromí vůbec nesouvisí s open-source.
Příklady programů, které jsou open-source a nectí soukromí: https://brmlab.cz/user/jenda/et https://brmlab.cz/user/jenda/linux-insecurity#privacy_leakage https://brmlab.cz/user/jenda/spyzilla
Příklad programu, který nemusí být open-source, a přitom o něm lze dokázat, že soukromí ctí: https://sel4.systems/
Brmlab mailing list Brmlab@brmlab.cz https://brmlab.cz/cgi-bin/mailman/listinfo/brmlab