The IAEA Additional Protocol (INFCIRC 540) has already introduced verification arrangements (expanded declaration and complementary access) for the detection of undeclared activities, and such a set of measures should be considered as one of the pillars of verification.
El Protocolo Adicional del OIEA (INFCIRC 540) ha previsto ya arreglos de verificación (ampliación del alcance de las declaraciones y acceso complementario) para detectar actividades no declaradas, y ese conjunto de medidas debe considerarse como uno de los pilares de la verificación.