Явная атака на подменённые устройства BB84

Рассмотрим вариант BB84 с распределением запутанного состояния. Ева готовит

$$\rho_{ABE}=\frac14\sum_{x,z=0}^1|x,z\rangle\langle x,z|_A\otimes|x,z\rangle\langle x,z|_B\otimes|x,z\rangle\langle x,z|_E.$$

Каждый регистр содержит два кубита. Алиса и Боб считают, что их устройства измеряют один кубит в стандартном базисе или базисе Адамара. В действительности команда «стандартный базис» измеряет первый кубит локального регистра в стандартном базисе, а команда «базис Адамара» измеряет второй кубит в стандартном базисе. При одинаковых командах результаты всегда совпадают; при разных они независимы, поэтому устройства проходят эти тесты BB84.

Дайте явную атаку Евы, показывающую, что получаемый ключ полностью небезопасен.