Fabric — новый язык программирования для безопасных распределенных вычислений
27 октября 2010 года
Исследователи из Корнелльского университета представили первый выпуск проекта Fabric, в рамках которого создана платформа безопасного программирования, предназначенная для создания изначально безопасных систем для работы в среде распределенных вычислений. В качестве языка программирования используется язык программирования Fabric, базирующийся на языке Jif, расширяющем Java поддержкой контроля потоков информации и содержащем встроенные средства контроля доступа, работающие как на этапе компиляции, так и в процессе выполнения программы.
Программы на языке Fabric предназначены для работы в распределенной сети, состоящей из множества связанных между собой узлов, при этом в сети могут присутствовать неподконтрольные машины, не заслуживающие доверия. Цель Fabric - обеспечение безопасной и надежной обработки информации в изначально небезопасном окружении. Все наработки проекта распространяются в рамках лицензии GPLv2.
В представлении Fabric все является объектом, к которому привязан определенный набор политик, указывающих выполнение каких операций допустимо, кто и каким образом может получить доступ к данным, коду и ресурсам. Каждый блок кода программы также имеет привязанный набор правил, определяющих когда и где данный код может быть использован. Оперируя данными наборами правил, компилятор не позволяет разработчику создать код, осуществляющий некорректные и небезопасные действия. Целостность работы в распределенной сети достигается благодаря использованию специально созданного двухфазового иерархического протокола для управления политиками безопасности и системы P2P-репликации для обеспечения высокой доступности приложений.
В настоящий момент проект находится на стадии тестирования исследовательского прототипа. На продолжение развития проекта авторы разработки получили несколько грантов, общим размером более двух миллионов долларов. Деньги планируется потратить на расширение проекта для работы в огромных распределенных системах, на обеспечение более сложных ограничений безопасности и на реализацию идеи "мобильного кода", - программ, которые могут находиться на одном узле в сети, но выполняться на другом узле, с уверенностью, что они безопасны и делают только то, что изначально заложено алгоритмом (исключают возможность модификации злоумышленником). Кроме того, исследователи планируют подготовить строгую математическую концепцию и доказать, что разработанная техника действительно является безопасной.
Источники[править]
Любой участник может оформить статью: добавить иллюстрации, викифицировать, заполнить шаблоны и добавить категории.
Любой редактор может снять этот шаблон после оформления и проверки.
Комментарии[править]
Если вы хотите сообщить о проблеме в статье (например, фактическая ошибка и т. д.), пожалуйста, используйте обычную страницу обсуждения.
Комментарии на этой странице могут не соответствовать политике нейтральной точки зрения, однако, пожалуйста, придерживайтесь темы и попытайтесь избежать брани, оскорбительных или подстрекательных комментариев. Попробуйте написать такие комментарии, которые заставят задуматься, будут проницательными или спорными. Цивилизованная дискуссия и вежливый спор делают страницу комментариев дружелюбным местом. Пожалуйста, подумайте об этом.
Несколько советов по оформлению реплик:
- Новые темы начинайте, пожалуйста, снизу.
- Используйте символ звёздочки «*» в начале строки для начала новой темы. Далее пишите свой текст.
- Для ответа в начале строки укажите на одну звёздочку больше, чем в предыдущей реплике.
- Пожалуйста, подписывайте все свои сообщения, используя четыре тильды (~~~~). При предварительном просмотре и сохранении они будут автоматически заменены на ваше имя и дату.
Обращаем ваше внимание, что комментарии не предназначены для размещения ссылок на внешние ресурсы не по теме статьи, которые могут быть удалены или скрыты любым участником. Тем не менее, на странице комментариев вы можете сообщить о статьях в СМИ, которые ссылаются на эту заметку, а также о её обсуждении на сторонних ресурсах.