Методи аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, ...