Sold by: Rigor AI
Gartner estimates that 99% of all firewall breaches arise from misconfigurations. Rigor is building a pioneering cyber defense management platform, RigorOS, with a suite of operational, security, and compliance use cases. Our foundational use case, Formally Verified Policy Analysis, leverages formal mathematical models of your NGFW configurations to provide control gap findings and produce immediately actionable insights to assure your security posture against human error. F
Overview
RigorOS’s foundational use case, Formally Verified Policy Analysis, models firewall configurations exhaustively and identifies security gaps for posture hardening, conflicting rules, and optimization opportunities through redundancy elimination and rule consolidation. This foundational use case is already operational with and has been deeply impactful for paying customers across industries and sectors: financial services, critical infrastructure, state and local government, technology, and education. Our deep formal models provide a level of granular visibility into every defensive configuration that no other approach in industry can match. Through this, the platform automatically provides extremely detailed and specific types of findings to provide exhaustive coverage of all the customers' security posture. These findings can be used for policy reduction, hardening, and conflict resolution.
Highlights
- Mathematical Model of Computation: Models your firewall configuration exhaustively, identifies security gaps for: posture hardening, conflicting rules and optimization opportunities through redundancy elimination and rule consolidation.
- Deep Fine-Grained Analysis: Resolves static objects, dynamic operational state including external objects/lists, users/groups, FQDNs, regular expressions, etc.
- Findings and Remediation Workflows: Performs syntactic, semantic, behavioral, formal, NLP, and AI based analysis of NGFWs and provides a semantic chain of evidence without false positives and false negatives.
Details
Sold by
Categories
Delivery method
Deployed on AWS
New
Introducing multi-product solutions
You can now purchase comprehensive solutions tailored to use cases and industries.
Pricing
Custom pricing options
Pricing is based on your specific requirements and eligibility. To get a custom quote for your needs, request a private offer.
Legal
Content disclaimer
Vendors are responsible for their product descriptions and other product content. AWS does not warrant that vendors' product descriptions or other product content are accurate, complete, reliable, current, or error-free.
Support
Vendor support
Support Details: sales-ext@rigor.ai
Software associated with this service
By Cisco Systems, Inc.
Protect your dynamic cloud environments with consistent security, superior visibility, and advanced threat defense such as application visibility and control, deep packet inspection, IPS, malware defense, and URL filtering - powered by Cisco Talos® Threat Intelligence. Achieve deeper visibility into QUIC and TLS 1.3 traffic without breaking Layer 7 policies.
![VM-Series Next-Generation Firewall Bundle 1 [VM-300]](https://d7umqicpi7263.cloudfront.net/img/product/894b830e-29ae-4de9-8cca-ccd00a500824.jpg)
By Palo Alto Networks
The VM-Series next-generation firewall allows developers and cloud security architects to embed inline threat and data theft prevention into their application development workflows. Native AWS services combined with VM-Series automation features allow you to create "touchless" deployments.
By Palo Alto Networks
The VM-Series Next Generation Firewall (NGFW) gives security teams complete visibility and control over all networks using powerful traffic identification, malware prevention, and threat intelligence technologies.
By Cisco Systems, Inc.
Protect your dynamic cloud environments with consistent security, superior visibility, and advanced threat defense such as application visibility and control, deep packet inspection, IPS, malware defense, and URL filtering - powered by Cisco Talos® Threat Intelligence. Achieve deeper visibility into QUIC and TLS 1.3 traffic without breaking Layer 7 policies.