Update girrault.tex

Просмотрел в гугле girault protocol. 
И еще http://re.mipt.ru/infsec/2010-fall/lectures.html

Потом надо поправить  Information Security.tex строка 419   \input{girault}

Offtop. Не могу делать мультипуллы.