forked from Airtnp/Kubernetes-verification
-
Notifications
You must be signed in to change notification settings - Fork 0
qiyueyao/Kubernetes-verification
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
# Winter 2021 CS219B Network Verification Kubertenes Project ## Kano-Py A implementation of [Kano: Efficient Container Network Policy Verification](http://security.riit.tsinghua.edu.cn/share/Kano_HOTI20_Yifan.pdf) in Python.
About
Network verification over kubernete cluster
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Python 94.8%
- Prolog 4.9%
- Makefile 0.3%