Обобщенная структурная метамодель протокола информационного взаимодействия
Ключевые слова:
построение протоколов, моделирование протоколов, анализ протокольных данных, протоколы прикладного уровняАннотация
Данная работа посвящена разработке структурной метамодели произвольного протокола информационного взаимодействия. Эта метамодель может быть использована для создания формализованных моделей различных протоколов, построения автоматических декодеров, хранения и обмена информацией о протоколах. Ее использование позволяет упростить многие прикладные задачи анализа данных, сравнения различных протоколов, влияния ошибок в канале связи на правильность декодирования и т.д.
Литература
1. Назаров А.В., Козырев Г.И., Шитов И.В., Обрученков В.П., Древин А.В., Краскин В.Б., Кудряков С.Г., Петров А.И., Соколов С.М., Якимов В.Л, Лоскутов А.И. Современная телеметрия в теории и на практике. Учебный курс // СПб.: Наука и техника. 2007. 672 с.
2. Хантер Д., Кэгл К.., Гиббонс Д., Озу Н.а, Пиннок Д., Спенсер П. Введение в XML // Москва. Издательство ЛОРИ. 2006. 638 с.
3. Bouzerda T., Marchand-Maille S. A flexible framework for the development of XML protocols: Applications to MRML // Tech. Rep. no. 03.03. University of Geneva. Switzerland. 2003.
4. Abdullah I.S., Menasc D.A. Protocol specification and automatic implementation using XML and CBSE // In: Proc. IASTED Int. Conf. Communications, Internet and Information Technology (CIIT2003). Scottsdale. Arizona. USA. 2003. pp. 191–196.
5. Basu A., Morrisett G., Von Eicken T. Promela++: a language for constructing correct and efficient protocols // Proc. INFOCOM 98 17th Annual Joint Conf. IEEE Computer and Communications Societies. San Francisco. USA. 1998. pp. 455–462.
6. Thees J. Protocol implementation with Estelle- from prototypes to efficient implementations, Proc. Int’l. Workshop on the Formal Description Technique Estelle. France. 1998.
7. Leduc G., Germeau F. Verification of Security Protocols Using LOTOS-method and Application // Computer Communications. 2000. vol. 23 no. 12. pp. 1089-1103.
8. Bolognesi T., Brinksmaa E. Introduction to the ISO Specification Language LOTOS // Computer Networks and ISDN Systems. 1987. vol. 14. pp. 25–59.
9. Huang Y., Ravishankar C. Cicero: A Protocol Construction Language // Tech. rep. CSE-TR-171-93. Michigan. 1993. pp. 1–39.
2. Хантер Д., Кэгл К.., Гиббонс Д., Озу Н.а, Пиннок Д., Спенсер П. Введение в XML // Москва. Издательство ЛОРИ. 2006. 638 с.
3. Bouzerda T., Marchand-Maille S. A flexible framework for the development of XML protocols: Applications to MRML // Tech. Rep. no. 03.03. University of Geneva. Switzerland. 2003.
4. Abdullah I.S., Menasc D.A. Protocol specification and automatic implementation using XML and CBSE // In: Proc. IASTED Int. Conf. Communications, Internet and Information Technology (CIIT2003). Scottsdale. Arizona. USA. 2003. pp. 191–196.
5. Basu A., Morrisett G., Von Eicken T. Promela++: a language for constructing correct and efficient protocols // Proc. INFOCOM 98 17th Annual Joint Conf. IEEE Computer and Communications Societies. San Francisco. USA. 1998. pp. 455–462.
6. Thees J. Protocol implementation with Estelle- from prototypes to efficient implementations, Proc. Int’l. Workshop on the Formal Description Technique Estelle. France. 1998.
7. Leduc G., Germeau F. Verification of Security Protocols Using LOTOS-method and Application // Computer Communications. 2000. vol. 23 no. 12. pp. 1089-1103.
8. Bolognesi T., Brinksmaa E. Introduction to the ISO Specification Language LOTOS // Computer Networks and ISDN Systems. 1987. vol. 14. pp. 25–59.
9. Huang Y., Ravishankar C. Cicero: A Protocol Construction Language // Tech. rep. CSE-TR-171-93. Michigan. 1993. pp. 1–39.
Опубликован
2015-03-10
Как цитировать
Романченко, А. М. (2015). Обобщенная структурная метамодель протокола информационного взаимодействия. Труды СПИИРАН, 1(38), 58-74. https://doi.org/10.15622/sp.38.4
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
