Разработчик из университета «Гётеборг» в Швеции, Никлас Броберг придумал новый  язык программирования, который можно использовать для идентифицирования уязвимых мест в системе безопасности в потоке информации ещё формируемых приложений, как говорит «АйтиХак».

Новый Язык программирования  был изобретен, как составляющая диссертации Броберга которая носила название  «Практическое, гибкое программирование с управляемым информационным потоком». Данный язык представляет собой расширение языка программирования «Java» и если верить Бробергу, он может быть легко встроен в уже имеющиеся приложения, написанные на языке «Java». Это по сути такое же важное изобретение, как и автомобильные чехлы для вашего автомобиля – с помощью них вы сможете продлить сохранность сидений Вашего авто.

«Paragon» может в автоматическом режиме находить уязвимые места в безопасности. Для начала производитель устанавливает, как будет применяться программное обеспечение, и у того, кто должен иметь к нему доступ, а еще при каких обстоятельствах  это проявляется в политике спецификации языка, которая носит называние «Paralocks».

Следующий этап начинается  в период компиляции: система  производит анализ при помощи спецификации «Paralocks», как программа может обрабатывать информацию, дальше флаги компилятора отыскивают угрозы безопасности в точках кода, которые могут стать причиной кражи данных.

Дата публикации 08.04.2012, 16:42