Check Point Software Technologies Ltd. — компания, работающая в сфере IT-безопасности. Разрабатывает программные и аппаратные системы, включая межсетевые экраны и средства организации виртуальных частных сетей.
Компания позиционирует себя как разработчик собственной архитектуры управления\взаимодействия - SMART (Security Managment Architecture). На основании этой концепции в конечном итоге была создана операционная система Gaia, путём объединения ОС IPSO (Nokia) и ОС SPLAT (ранняя разработка СР на базе Unix-ориентированных систем). В данном программном обеспечении реализован ряд технологий, связанных с безопасностью обмена данными (например пакетная фильтрация, IPS), а так же проприентарная Stateful Inspection основной задачей которой является контроль конкретных соединений в реальном времени.