Повністю відокремлює адресний простір клієнта від адресного простору магістралі, що є фундаментальним аспектом ізоляції адрес

Прискорює конвергенцію мережі завдяки асиметричним шляхам між вузлами

Дозволяє створювати до 16 мільйонів ізольованих віртуальних мереж через I-SID, мінімізуючи ризик горизонтального переміщення зловмисника

Замінює необхідність використання криптографічної автентифікації IS-IS між вузлами

Tamarin та ProVerif є конкурентними інструментами і не можуть використовуватися для аналізу одного протоколу

ProVerif підтримує перевірку властивостей досяжності, відповідності та еквівалентності спостережень, включаючи секретність та автентифікацію

Tamarin підтримує автоматичне доведення, але також може бути самокерованим; результат — або доказ властивості, або трасування атаки, що спростовує її

ProVerif аналізує необмежену кількість сесій та необмежений простір повідомлень, реконструюючи атаку при неможливості довести властивість

Мікшування суперечить принципу ідеальної прямої секретності

Відсутній перевірений та практичний дизайн для формування трафіку з низькою затримкою, що реально покращує анонімність

Такі методи несумісні з TLS-шифруванням, що використовується між вузлами

Ці стратегії є надмірно ресурсоємними, а повне доповнення посилань все одно залишається вразливим

Використання токенів авторизації дозволяє Бобу блокувати повтори та фільтрувати нелегітимні запити

Боб може відкривати кілька точок введення та надавати обраним користувачам нерекламовані або заплановані точки введення

Усі з'єднання до точок введення шифруються відкритим ключем Боба, що унеможливлює підробку запитів

Точки введення не отримують жодних клієнтських байтів безпосередньо, що унеможливлює DoS