Método formal de razonamiento que es la base de la deducción lógica. Permite obtener nuevo conocimiento a partir del existente.
Tipo de acción de amenaza que se deriva de características o subproductos de la comunicación y que, por lo tanto, accede indirectamente a datos sensibles, pero no necesariamente a los datos contenidos en la comunicación.