Chapman Flack Mikhail J. Atallah Better Logging through Formality. 1-16 2000 conf/raid/2000 Recent Advances in Intrusion Detection http://link.springer.de/link/service/series/0558/bibs/1907/19070001.htm db/conf/raid/raid2000.html#FlackA00