Formal Verification for Preventing Misconfigured Access Policies in Kubernetes Clusters

Formal Verification for Preventing Misconfigured Access Policies in Kubernetes Clusters

Kubernetes clusters now underpin the bulk of modern production workloads, recent 2024 Cloud Native Computing Foundation surveys report >96% enterprise adoption, stretching from 5G edge nodes and AI/ML pipelines to heavily-regulated fintech and healthcare back-ends. Every action in those e...

Full description

Saved in:
Bibliographic Details
Main Authors: Aditya Sissodiya, Eric Chiquito, Ulf Bodin, Johan Kristiansson
Format: Article
Language:English
Published: IEEE 2025-01-01
Series:IEEE Access
Subjects:
Attribute-based access control
cloud-native security
formal verification
kubernetes
policy-as-code
role-based access control
Online Access:https://ieeexplore.ieee.org/document/11122676/
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items