W Bangkoku ogłosiliśmy, że poważnie przyjrzymy się systemom dowodzenia. Naszym celem jest ujawnienie wszystkich założeń dotyczących zaufania, uczynienie tych systemów dowodzenia przejrzystymi i - co najważniejsze - zapewnienie wszystkim użytkownikom łatwego dostępu do kodu źródłowego programów, które są dowodzone. Nowy Katalog ZK jest wynikiem miesięcy pracy, a to dopiero początek.