Аннотация:Предложен протокол аутентифицированной выработки общего ключа SEK, являющийся модификацией протокола, предложенного в работе Б. ЛаМачиа, К.Лантера и А. Митягина (2007г.).В рамках модели безопасности, предложенной в этой же работе проведено доказательства стойкости предложенного автором протокола SEK. В явном виде сформулированы необходимые условия его стойкости.