Diagnosing Runtime Violations Of Security And Dependability Properties