Автор работы: Пользователь скрыл имя, 07 Мая 2012 в 23:12, реферат
По материалам зарубежной печати рассматривается методика разработки, спецификации и логического анализа криптографических протоколов. Методика позволяет обнаруживать дефекты, порожденные нечеткостью целей участников протокола и логическими ошибками. Возможен анализ безопасности криптографических протоколов против атак, если в число участников протокола включить противника с соответствующей стратегией поведения в протоколе.
Литература
1. Rubin, Honeyman “Nonmonotonic cryptographic protocols”. Proc.Comp.Sec.Found. Workshop, VII, 1994.
2. Burrows, Abadi, Needham “A logic of authentication”. Report 39, Digital Systems Research Center, California, 1989
3. Kessler, Wedel “ AUTLOG - An advanced logic of authentication” Proc.Comp.Sec.Found. Workshop, VII, 1994.