Cooperating Intelligent Systems Learning from observations Chapter 18, AIMA Machine Learning.
The MINER A Experiment Howard Budd, University of Rochester SLAC Summer Institute 2010.
Logics for Security Protocols Anupam Datta Fall 2007-08 18739A: Foundations of Security and Privacy.