access control list air traffic control application programming interface application software attack tree attacker audit trail authentication authorization automated theorem proving backup bank vault bell-lapadula model boeing bruce schneier cap computer cd-r cd-rw cert coordination center chain of trust chaos computer club clifford stoll closed form code review common criteria computer computer insecurity computer science computer security model computer security policy computer worm computing confused deputy problem coyotos cracker cryptanalysis cryptography cyber security standards dangling pointer data security differentiated security electromagnetic interference encryption file transfer protocol file hosting service firewall formal methods freebsd full disclosure gnu hurd hurricane katrina ibm iff identity management information security integer overflow internet internet privacy logic logon mac os x malware mandatory access control memory management unit microprocessor military multics network security toolkit network security owasp open source operating system posix password patch penetration test physical information security physical security ping principle of least privilege proactive cyber defence protection profile protection mechanism richard donovan safe deposit box secunia secure cryptoprocessor security security architecture security target security engineering separation of protection and security smart card tape trusted computer system evaluation criteria unit testing wikibooks window of vulnerability world trade center