Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/11561
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Мордвинов Дмитрий Александрович | ru_RU |
dc.contributor.author | Полубелова Марина Игоревна | ru_RU |
dc.contributor.author | Polubelova Marina | en_GB |
dc.contributor.editor | Григорьев Семен Вячеславович | ru_RU |
dc.contributor.editor | Grigorev Semen Viacheslаvovich | en_GB |
dc.date.accessioned | 2018-07-25T20:34:33Z | - |
dc.date.available | 2018-07-25T20:34:33Z | - |
dc.date.issued | 2017 | - |
dc.identifier.other | 015640 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/11561 | - |
dc.description.abstract | Полубелова Марина Игоревна. Компиляция сертифицированных F*-программ в робастные Web-приложения. Научный руководитель: к.ф.-м.н., доц. Григорьев С. В. Направление “Математическое обеспечение и администрирование информационных систем”, кафедра Системного программирования. Одним из способов повышения надежности систем является использование сертифицированного программирования для создания и верификации программного обеспечения. В рамках данного подхода реализация выполняется на языке с богатой типовой системой, статически гарантирующей некоторые свойства программы. Такая программа впоследствии транслируется в исполняемый на целевом устройстве язык программирования. Такой подход используется, например, для верификации криптографических примитивов в проекте HACL*, выполненном на языке программирования F*. В данной работе целевым языком для трансляции F*-программ выбран язык JavaScript, поддерживаемый всеми современными веб-браузерами. В работе предложены правила трансляции из F* в JavaScript, сохраняющие аннотации типов. Благодаря этой особенности возможно использовать инструмент Flow для дополнительной проверки полученной в результате трансляции программы. Количество использованных источников: 37. Полубелова, М. И. Компиляция сертифицированных F*-программ в робастные Web-приложения: магистерская дис.: защищена 13.06.2017 / Полубелова Марина Игоревна. — СПб., 2017. — 36 с. — Библиогр.: с.34-36. | ru_RU |
dc.description.abstract | Marina Polubelova. Compiling verified F* programs to robust Web applications. Scientific supervisor: Associate Professor Grigorev S. Software and Administration of Information Systems, chair of Software Engineering. One way to improve the robustness of systems is by using certified programming to create and verify programs. For this approach, the language with a rich type system is used to guarantee some properties of programs statically. Then such programs are translated into the target language for further execution. This approach is used in HACL* project dedicated to the verification of cryptographic primitives. All code of the project is written and verified in F* programming language. In this work, the target language of the F* programs translation is JavaScript, which is supported by all modern Web browsers. Translation rules proposed in the work preserve type annotations for more efficient use of a type checker Flow. The number of references is 37. Polubelova M. Compiling verified F* programs to robust Web applications: a master’s thesis: thesis defence 13.06.2017 / Polubelova Marina — SPb, 2017. — 36 pages — Bibliogr.: pp.34-36. | en_GB |
dc.language.iso | ru | - |
dc.subject | сертифицированное программирование | ru_RU |
dc.subject | надежные веб-приложения | ru_RU |
dc.subject | трансляция | ru_RU |
dc.subject | верификация | ru_RU |
dc.subject | криптографические протоколы | ru_RU |
dc.subject | certified programming | en_GB |
dc.subject | robust web applications | en_GB |
dc.subject | cryptographic verification | en_GB |
dc.subject | programs translation | en_GB |
dc.title | Compiling verified F* programs to robust web applications | en_GB |
dc.title.alternative | Компиляция сертифицированных F*-программ в робастные Web-приложения | ru_RU |
Располагается в коллекциях: | MASTER'S STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
Marina_Polubelova.pdf | Article | 205,62 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_Otzyv_nauchnogo_rukovoditelya_na_magisterskuyu_dissertaciyu_Polubelovoj_M_I_.pdf | ReviewSV | 88,14 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_stt01969_Mordvinov_Dmitrij_Aleksandrovich_(reviewer)(Ru).txt | ReviewRev | 8,03 kB | Text | Просмотреть/Открыть |
reviewSV_st008961_Grigorev_Semen_Vyacheslavovich_(supervisor)(Ru).txt | ReviewSV | 4,22 kB | Text | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.