Brama ujawniania informacji - wezwanie SI do ujawnienia narzędzia jest oceniana po bramie interakcji CP04 i przed każdym zatwierdzeniem: rejestr źródłowy przebiegu, rejestry połączenia niesie i jego podstawy (co musi być to, co odczyt przebiegu, inaczej BASIS _ NOT _ READ w ENFORCE) są oznakowane i ustalone z DisclosurePolicy, zweryfikowany wniosek jako VERIFIED _ REQUEST grant i przechowywane wydania migawki jako OWNER _ COLON; w ENFORCE 's other uncled reading idzie do ograniczonego czeku wycieku (LeakPrecilter, Lea...