Rigorous analysis of visual data security logs