Анализ, моделирование и верификация высокоуровневых протоколов эффективного информационного взаимодействия открытых телекоммуникационных систем
Диссертация
Однако разработка высокоуровневых протоколов является сложной задачей в силу разнородности предоставляемых услуг, а также потенциально неограниченного количества участников информационного обмена. Необходимо обеспечить надёжность работы высокоуровневых протоколов. На текущий момент времени существует достаточно большое количество методов создания высокоуровневых протоколов, использующих в своей… Читать ещё >
Список литературы
- Компьютерные сети. 4-е изд. / Э. Таненбаум. — СПб.: Питер, 2003. 992 е., ил.
- Распределённые системы. Принципы и парадигмы / Э. Таненбаум, М. ван Стен. СПб.: Питер, 2003. — 877 е., ил.
- Гарольд Э., Мине С. XML. Справочник. / Пер. с англ. СПб.: Символ-Плюс, 2002. — 576 е., ил.
- List of XML markup languages электронный ресурс. / Wikipedia, the free encyclopedia. — Режим доступа: http://en.wikipedia.org/wiki/ListofXMLmarkuplanguages, свободный. — Загл. с экрана. — Яз. англ.
- ХМРР Standards Foundation электронный ресурс. Режим доступа: http://xmpp.org/, свободный. — Загл. с экрана. — Яз. англ.
- Фундаментальные основы хакерства. Искусство дизассемблирования / К. Касперски M: COJIOH-Пресс, 2005. — 448с., ил.
- Чирилло Дж., Обнаружение хакерских атак. Для профессионалов. /Пер. с англ. СПб.: Питер, 2003. — 864 е.: ил.
- Протоколы информационно-вычислительных сетей: Справочник / С. Аничкин, С. Белов и др. — М.: Радио и связь, 1990. 504 е.: ил.
- Мещеряков C.B., Иванов В. М. Эффективные технологии создания информационных систем. М.: Политехника, 2005. — 312 е.: ил.
- Шапошников И. В. Справочник Web-мастера. XML. СПб.:БХВ-Петербург, 2001. — 304 е.: ил.
- Рэй Э. Изучаем XML / Пер. с англ. СПб.: Символ-Плюс, 2001. -408 е., ил.
- ISO 7498. Information Processing Systems Open Systems Interconnection — Basic Reference Model. — 1983.
- ISO/DP 8807. Information Processing Systems — Open System Interconnection — ESTELLE A Formal Description Technique Based on an Extended State Transition Model. — 1985.
- Functional specification and description language SDL. In: CCITT Yellow Book, Vol. VI recommendations Z. 101 -Z. 104, CCITT, Geneva, 1981.
- Josang A. Security Protocol Verification using Spin / Proc. SPIN Workshop, 1995.
- Sajkowski M. Protocol Verification Techniques // Proc. IV Int. Workshop on Protocol Specification, Testing and Verification -Amsterdam: North-Holland Publishing Co., 1985 P. 697 — 720.
- C. Lin, D.C. Marinescu. Translation of Modified Predicate Transition Nets Models of Communication Protocols into Simulation Programs, Proceeding of the 1986 Winter Simulation Programs, Dec. 1986, USA, PP. 760 768.
- Feiertag R.J., Shostak R.E., Lamport L.B. Verification of Communication-Oriented Language Problems // SRI International — 1978.-P. 749−756.
- Functional specification and description language SDL. In: CCITT Yellow Book, Vol. VI recommendations Z. 101 -Z. 104, CCITT, Geneva, 1981.
- Лекции по теории сложных систем. / Бусленко Н. П., Калашников
- B.В. М.: Советское радио, 1973. — 440 е.: ил.
- Протоколы информационно-вычислительных сетей: Справочник/
- C. Аничкин, С. Белов и др. М.: Радио и связь, 1990. — 504 е.: ил.
- Буч Г., Рамбо Дж., Джекобсон A. UML. Руководство пользователя. М.: «ДМК», 2001.
- Лешек А. Анализ и проектирование информационных систем с ' помощью UML 2.0. М.: Вильяме, 2008. — 816 е.: ил.
- Weilkiens Т. Systems Engineering with SysMLUML Modeling, Analysis, Design. // Denise E. M. Penrose, 2007. 320 pp.
- Беккер П., Йенсен Ф. Проектирование надежных электронных схем. / Пер. с англ. М.: «Сов. радио», 1977.
- Теория автоматов / Ю. Карпов — СПб.: Питер, 2003. 208 е.: ил.
- Model Checking. Верификация параллельных и распределённых программных систем. / Ю. Карпов. — СПб.: БХВ-Петербург, 2010. — 560с.: ил.
- G. Bochman. Finite state description of communication protocols / Comput. Networks, v.2, 1978, pp. 361−371
- Рейуорд-Смит В.Дж. Теория формальных языков. Вводный курс. -М.: Мир, 1988.
- Основы теории графов./ Зыков А. А. — М.: Наука, гл. ред. физ.-мат. лит., 1987.-384 с.
- Минский М. Вычисления и автоматы. — М.: Мир, 1978.
- Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М: Мир, 1982.
- Лескин А.А., Мальцев П. А., Спиридонов A.M. Сети Петри в моделировании и управлении. М.: Наука, 1989.
- Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир, 1984.-264 с: ил.
- Зайцев Д.А., Слепцов А. И. Уравнения состояний и эквивалентные преобразования временных сетей Петри // Кибернетика и системный анализ. 1997. — N 5. — с. 59−76
- Berthlot G., Terrat R., Petri Nets Theory for the Correctness of Protocols // IEEE Trans. 1982. — Vol. COM-30, N 12. — P 2497 -2505.
- G. Galbo, S. Bruell, and S. Ghanta. Combining queuing Networks and generalized stochastic Petri nets for the solution of complex models ofsystem behavior. IEEE Transactions on Computers, 37(10): 1251 — 1268, 1988.
- Toudic J.M. Linear Algebra Algorithms for Structural Analisys of Petri Nets//Rev. Tech. Thomson CSF, 1982.-No. l.-Vol. 14.-p. 136 156.
- Diaz M. Modelling and Analysis of Communication and Cooperation Protocols Using Petri Net Based Model // Computer Networks, no 6, 1982,419−441.
- Zaitsev D.A. On question of calculation complexity of Toudic’s method // Artificial Intelligence, no. 1, 2004, 29−37. In Russ.
- Murata T. Petri Nets: Properties, Analysis and Applications // Proceedings of the IEEE, April 1989. Vol. 77. — p. 541−580.
- Zaitsev D.A. Decomposition of protocol ECMA // Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2004, Vol. 138, 130−137. In Russ.
- Методология программирования. / Турский В. M.: Мир, 1981. -263 е.: ил.
- Корнилов A.M., Мазепа Р. Б., Михайлов В. Ю. Проблемы безопасного информационного взаимодействия в распределенной среде. М.: МАИ-ПРИНТ, 2009. — 260 е.: ил.
- Олифер В.Г., Олифер Н. А. Сетевые операционные системы. — СПб.: Питер, 2001. 672 е.: ил.
- Гамма Э., Хелм Р., Джонсон Р., Влиссидес Дж. Приемы объектно-ориентированного проектирования. Паттерны проектирования. — СПб.: Питер, 2007. 366 е.: ил.
- Рихтер Дж. Программирование на платформе Microsoft .NET Framework /Пер. с англ. — 2-е изд., испр. — М.: Издательско-торговый дом «Русская Редакция», 2003. — 512 стр.: ил.
- Маклин С., Нафтел Дж., Уильяме К. Microsoft .NET Remoting /Пер. с англ. — М.: Издательско-торговый дом «Русская Редакция», 2003. 384 е.: ил. — ISBN 5−7502−0229−1
- Орлов JI. Разработка интерактивных Web-сайтов. — М.: Бук-пресс, 2006.-512 с.
- Троелсен Э. С# и платформа .NET. Библиотека программиста. — СПб.: Питер, 2007. 796 е.: ил.
- Шапошников И. Web-сервисы Microsoft .NET. — СПбю: БХВ-Петербург, 2002. 334 е.: ил.
- Web-протоколы. Теория и практика. / Б. Кришнамурти. М.: ЗАО «Издательство БИНОМ», 2002. — 592 е.: ил.