В последнее время я занимаюсь тем, сопоставляю схемы шифрования с формальными грамматиками, и мне кажется, тут есть интересное пересечение с твоими лингвистическими моделями. Может, попробуем разобраться, как протоколы безопасности выглядят, если их рассматривать как язык?