Schneier ahora argumenta que las garantías matemáticas incontrovertibles (como por ejemplo, independientemente del comportamiento de los demás, mientras yo siga el protocolo, el protocolo garantizará mi seguridad) no cumplen del todo el objetivo.