V Bangkoku jsme oznámili, že se vážně podíváme pod pokličku zkušebních systémů. Naším cílem je odhalit všechny předpoklady důvěry, zprůhlednit tyto dokazovací systémy a - co je nejdůležitější - poskytnout všem uživatelům snadný přístup ke zdrojovým kódům osvědčených programů. Nový katalog ZK je výsledkem několikaměsíční práce, a to je teprve začátek