The OpenNET Project / Index page

[ новости /+++ | форум | wiki | теги | ]

Fabric - новый язык программирования для безопасных распределенных вычислений

27.10.2010 12:49

Исследователи из Корнелльского университета представили первый выпуск проекта Fabric, в рамках которого создана платформа безопасного программирования, предназначенная для создания изначально безопасных систем для работы в среде распределенных вычислений. В качестве языка программирования используется язык программирования Fabric, базирующийся на языке Jif, расширяющем Java поддержкой контроля потоков информации и содержащем встроенные средства контроля доступа, работающие как на этапе компиляции, так и в процессе выполнения программы.

Программы на языке Fabric предназначены для работы в распределенной сети, состоящей из множества связанных между собой узлов, при этом в сети могут присутствовать неподконтрольные машины, не заслуживающие доверия. Цель Fabric - обеспечение безопасной и надежной обработки информации в изначально небезопасном окружении. Все наработки проекта распространяются в рамках лицензии GPLv2.

В представлении Fabric все является объектом, к которому привязан определенный набор политик, указывающих выполнение каких операций допустимо, кто и каким образом может получить доступ к данным, коду и ресурсам. Каждый блок кода программы также имеет привязанный набор правил, определяющих когда и где данный код может быть использован. Оперируя данными наборами правил, компилятор не позволяет разработчику создать код, осуществляющий некорректные и небезопасные действия. Целостность работы в распределенной сети достигается благодаря использованию специально созданного двухфазового иерархического протокола для управления политиками безопасности и системы P2P-репликации для обеспечения высокой доступности приложений.

В настоящий момент проект находится на стадии тестирования исследовательского прототипа. На продолжение развития проекта авторы разработки получили несколько грантов, общим размером более двух миллионов долларов. Деньги планируется потратить на расширение проекта для работы в огромных распределенных системах, на обеспечение более сложных ограничений безопасности и на реализацию идеи "мобильного кода", - программ, которые могут находиться на одном узле в сети, но выполняться на другом узле, с уверенностью, что они безопасны и делают только то, что изначально заложено алгоритмом (исключают возможность модификации злоумышленником). Кроме того, исследователи планируют подготовить строгую математическую концепцию и доказать, что разработанная техника действительно является безопасной.

  1. Главная ссылка к новости (http://www.drdobbs.com/java/22...)
Лицензия: CC-BY
Тип: К сведению
Ключевые слова: fabric, java, security
При перепечатке указание ссылки на opennet.ru обязательно
Обсуждение (10) Ajax | 1 уровень | Линейный | Раскрыть всё | RSS
  • 1.2, Аноним (-), 14:06, 27/10/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • –1 +/
    безопастный код безопастному рознь.
     
     
  • 2.3, Аноним (-), 14:59, 27/10/2010 [^] [^^] [^^^] [ответить]  
  • +6 +/
    А безопасный безопасТному - и подавно
     
     
  • 3.6, esk (?), 16:01, 27/10/2010 [^] [^^] [^^^] [ответить]  
  • –1 +/
    безПастный код копиПастному рознь
     

  • 1.7, Анонимный трус (?), 19:15, 27/10/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Интересная новость (я серьезно).

    Комментарии выше прелестны. Очень по делу. Так держать, коллеги. Теперь я знаю, что именно на ваших плечах лежит забота о будущем распределенных вычислений.

     
  • 1.8, User294 (ok), 20:30, 27/10/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • –4 +/
    А когда кому-то приспичит доказать что не такое уж оно и безопасное - как раз и появится skynet? :)
     
     
  • 2.12, Ytch (?), 22:47, 29/10/2010 [^] [^^] [^^^] [ответить]  
  • +/
    До skynet, имхо, здесь как до Луны. Очередная попытка ограничить разработчиков под видом заботы о... Если человек не умеет писать программы, то его это не спасет, а если умеет, то (о чудо!) даже на, многими незаслуженно обгаживаемом, "чистом" С никаких проблем не возникает!
     

  • 1.9, dq0s4y71 (??), 00:13, 28/10/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > компилятор не позволяет разработчику создать код

    Очередной компилятор, который что-то не позволяет разработчику? Ну-ну...

     
  • 1.10, Асушник (?), 11:50, 28/10/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
      Программная отрасль давно напоминает конкурс "кто придумает более громоздкое, заутанное и сложное к пониманию".
      Схема старая криминальная. Придумывается новый программный кокс. Пиарится. На него подсаживаются первые любопытные клиенты-компании. А когда поняли что подсели - уже поздно.
      Глядя на них в первой фазе, когда они еще не почувствовали зависимость, а только испытывают эйфорирю, подсаживаются другие компании. Например конкуренты с мыслью не отстать. Или мелкие компании с мыслью - хочу стать большой как эта фирма(буду тоже курить, как взрослый). Ну а кроме вас, создателей технологии, в этой сложной мутотени мало кто разберется. Типично для капитализма.
      Ах да. Все это еще на базе жавы. Т.е. чтобы крутить проги на подобной технологии, уже не хватает даже многоядерных процов, понадобились силы кластеров :)
     
     
  • 2.11, dem (??), 14:50, 28/10/2010 [^] [^^] [^^^] [ответить]  
  • +/
    erlang придумали заново только на яве. Вау!
     

  • 1.13, adolfus (?), 18:34, 03/11/2010 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Все это очередные костыли для быдлокодеров. Результат на выходе не может быть надежнее и лучше самого слабого звена в процессе достижения этого самого результата. Так что сколько не плоди костылей, быдлокодер всегда напортачит. Может следует программистов получше учить, чтобы вместо внешних ограничений подкорка работала?
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Спонсоры:
    MIRhosting
    Fornex
    Hosting by Ihor
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2019 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру