Documentation
Quick Integration Guide
Get started with PosturaNet in under 60 seconds. Our read-only model verification lets you prove security without configuration write-access.
Full Documentation Center launching with GA. In the meantime, follow this quick-start integration tutorial to understand our operational workflow.
Platform Quick Setup
1. Generate Read-Only IAM Policy
PosturaNet uses a read-only boundary for analysis. Generate the strict, isolated IAM role directly in the console.
2. Connect Cloud boundary
Apply the generated IAM policy to your staging or production AWS account to register configurations safely.
3. Run Formal Verification
Our engine audits policies, parses VPC routes, compiles variables to Z3 logic statements, and outputs proof attestations.
Integration Policy Snippet
The following read-only AWS IAM policy allows PosturaNet to scan your infrastructure metadata for AST generation:
{
"Version": "2012-10-17",
"Statement": [
{
"Effect": "Allow",
"Action": [
"ec2:DescribeSecurityGroups",
"ec2:DescribeSubnets",
"ec2:DescribeVpcs",
"s3:GetBucketPolicy",
"s3:GetBucketAcl",
"iam:GetRolePolicy",
"iam:ListRolePolicies"
],
"Resource": "*"
}
]
}
Need custom security questionnaires or SLA policies?
Design partners receive dedicated compliance enclaves and customized setup support.