Компания «Инфосистемы Джет» получила статус партнера HP Fortify Software

Компания «Инфосистемы Джет» получила статус партнера HP Fortify Software

Полученный компанией «Инфосистемы Джет» партнерский статус подтверждает наличие глубокой экспертизы в области проектирования, развертывания и поддержки систем анализа и управления безопасностью приложений на базе продуктов HP Fortify (HP Fortify on Demand, HP Fortify Static Code Analyse и HP Real Time Analiser). Эти инструменты обеспечивают системный подход к устранению и предотвращению уязвимостей на уровне программного кода ПО, учитывают значительное число требований безопасности и выявляют около 500 типов уязвимостей.

 «В 2012 году российский рынок продемонстрировал общий рост интереса к теме обеспечения программной безопасности, выразившийся в повсеместном внедрении нового подхода к обеспечению безопасности − Software Security Assurance (SSA). Основная его задача – защита от уязвимостей на уровне программного кода ПО. Общее число наших проектов по обеспечению безопасности критичных бизнес-приложений увеличилось более чем в два раза», – рассказывает Кирилл Викторовзаместитель директора по развитию бизнеса компании «Инфосистемы Джет».

 «Мы целенаправленно наращиваем экспертизу в этом направлении, понимая, что возможности наложенных механизмов безопасности постепенно подходят к своему пределу. Следующий шаг − безопасность самого программного кода. Ранее эта область была уделом исключительно команд разработчиков, но сейчас многие компании уже готовы "допускать" к ней и ИБ-специалистов», – продолжает Евгений Акимов, заместитель директора Центра информационной безопасности компании «Инфосистемы Джет».

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

 Практика компании «Инфосистемы Джет» показывает, что актуальность подобных услуг сегодня высока среди организаций Enterprise-сектора. На данный момент наибольшую заинтересованность в аудите программного кода по требованиям безопасности проявляют кредитно-финансовые организации, телекоммуникационные компании и предприятия топливно-энергетического комплекса.

Энтузиаст запустил чат-бот на процессоре Z80 1976 года

Легендарный процессор Zilog Z80, которому в этом году почти 50 лет, внезапно получил собственный «ИИ». Разработчик под ником HarryR представил проект Z80-μLM — крошечную «разговорную модель», которая реально работает на 8-битном Z80 с 64 КБ памяти.

Сразу расставим точки над i: тест Тьюринга этот ИИ не пройдёт, мир не захватит и цены на Z80 из-за него не взлетят. Сам автор честно говорит, что это эксперимент и «развлечение для души». Но эксперимент крайне изящный, именно этим он и цепляет.

Z80-μLM — это минималистичная «разговорная ИИ-модель», которая генерирует ответы посимвольно. Вся система, включая инференс и простой чат-интерфейс, уместилась примерно в 40 КБ. Для наглядности: это обычный .COM-файл, который спокойно запускается в CP/M и помещается в стандартную область памяти TPA.

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

Входной текст кодируется через хеширование триграмм в 128 «корзин» — это делает модель устойчивой к опечаткам и нечувствительной к порядку слов. Всё максимально просто, жёстко и эффективно.

HarryR подчёркивает, что его цель была не «ум», а минимальный размер при сохранении ощущения характера. И, как ни странно, это работает. Ответы у чат-бота короткие, иногда нарочито сухие или уклончивые:

  • OK — нейтральное подтверждение,
  • WHY? — сомнение в вашем вопросе,
  • R U? — философский ответ с намёком,
  • MAYBE — честная неопределённость,
  • AM I? — вопрос в ответ.

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

В проекте есть два готовых примера. Первый — Tinychat, простой чат-бот, который отвечает на приветствия и вопросы о себе. Второй — Guess, вариация игры «20 вопросов», где модель загадывает нечто, а пользователь пытается это угадать. Оба варианта доступны в виде готовых бинарников: для CP/M — стандартные .COM-файлы, для ZX Spectrum — .TAP-образы кассет, которые можно загрузить в эмулятор или даже на реальное железо.

Отдельная ирония ситуации в том, что Z80 как раз недавно официально отправили «на пенсию». В апреле 2024 года Zilog объявила о прекращении поддержки чипа (PDF) из-за закрытия производства на стороне фабрики. Правда, почти сразу энтузиасты взялись за замену, и в рамках проекта Tiny Tapeout появился рабочий совместимый клон.

RSS: Новости на портале Anti-Malware.ru