Шендрик, Є. В.; Ткачук, В. В.
(Одесса: ОНПУ, 2008-05)
Методи аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, ...