Utilize Formal Verification For Cloud Native Financial Sevices

[hannibalhuang]

Hi FUG members,

In CNCF sig-security and also kubernetes policy wg, we will be starting exploring how to provide formal verification for kubernetes or cloud native policies (with folks from RedHat, AWS, OPA, etc..). As I understand this is one of the critical requirement from Financial users to have the ability to provide an automated way of proving compliance.

Would like to share related information during Jun's FUG meeting if anyone is interested :) We will also have discussions during the Policy WG Weekly meeting on Wed PT 4:00pm (which is sort of mid-night in Europe , and morning in east asia)