GRASP: Hardening Serverless Applications through Graph Reachability Analysis of Security Policies.
Isaac PolinskyPubali DattaAdam BatesWilliam EnckPublished in: WWW (2024)
Keyphrases
- security policies
- reachability analysis
- access control
- network security
- model checking
- distributed systems
- markov decision processes
- security management
- security concerns
- security requirements
- access control systems
- timed automata
- access control policies
- state space
- dimensionality reduction
- information systems
- multilevel secure
- machine learning