publicações selecionadas Alert correlation in a cooperative intrusion detection framework Definition of a formal framework for specifying security policies - The Or-BAC model