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...
Saved in:
| Main Authors: | Aditya Sissodiya, Eric Chiquito, Ulf Bodin, Johan Kristiansson |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
IEEE
2025-01-01
|
| Series: | IEEE Access |
| Subjects: | |
| Online Access: | https://ieeexplore.ieee.org/document/11122676/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Implement HPA for Nginx Service Using Custom Metrics Under Kubernetes Framework
by: Hanlin Zhou, et al.
Published: (2024-01-01) -
Reconfiguring Role-Based Access Control via Role Clustering
by: Osman Durdag, et al.
Published: (2025-01-01) -
An Efficient Fine-Grained Access Control Scheme Based on Policy Protection in SGs
by: Xiaoqing Guo, et al.
Published: (2025-01-01) -
Attribute-based linear homomorphic signature scheme based on key policy for mobile crowdsensing
by: Yuan Tian, et al.
Published: (2024-07-01) -
Formal Verification of Three-Valued Digital Waveforms
by: Nina Yu. Kutsak, et al.
Published: (2019-09-01)