The top documents tagged [formal models of attacks]