DEF CON 20 - Tom Perrine - Creating an A1 Security Kernel in the 1980s

Interesująca prezentacja na temat budowy i weryfikacji poprawności systemów w latach 80-tych.