Semantic Scholar

Towards automated formal verification of authorization policy in microservice systems

作者：Connor Wojtak, Shakthi Weerasinghe, Nilesh Rao, Tomás Cerný

🔗 https://www.semanticscholar.org/paper/f65b5fe4d181e3babc6e24f1bfe13e2c478fd3bf ↗

Towards automated formal verification of authorization policy in microservice systems. Cluster Computing

內容為收集當日抓取的摘要原文。