CRYPTO 2005 и "Onion Routing"

В эти дни в американском городе Санта-Барбара проходит крупнейшая ежегодная конференция CRYPTO-2005,
http://www.iacr.org/conferences/crypto2005/index.html
в которой участвуют ученые криптографы со всего мира. Так же как и в прошлом году будет организована WEB-трансляция некоторых мероприятий.

Помимо обсуждения проблем с хэш-функциями SHA, одной
из интересных тем будет презентация формального анализа протокола анонимной передачи данных "Onion Routing",
используемого в том числе и в сети TOR:

"A Formal Treatment of Onion Routing"

Jan Camenisch (IBM Research. Zurich research LAB) and Anna Lysyanskaya (Computer Science Department. Brown University)
with respect of Ron Rivest.

http://www.freehaven.net/anonbib/papers/onion21.pdf

Широкие исследования криптографов мирового уровня свидетельствуют о все большей потребности развитых обществ в системах анонимных коммуникаций, о чем и говориться в предисловии к этой работе. Однако формальный анализ протоколов, оценка рисков и угроз, планирование такого рода сетей все еще остаются малоисследованными областями криптографической науки.