Artificial intelligence techniques are starting to be applied to the analysis of secure computer systems, and, hopefully, their use will improve the utility of security analysis and verification. On the other side of the coin, more research is needed to address the security implications of artificial intelligence systems. Design, verification, and analysis techniques are needed for expert systems and systems with learning mechanisms, and these techniques should be developed now, not after the systems are fielded.