Un programa de protección de testigos es un sistema formal, concebido para