P-Verifier

Results 12 issues of P-Verifier

We are a security research team and we recently discovered that there is an over-authorization security issue with this project's IoT policy. The affected file is as following: 1. greengrass-v2-docker-ros-demo/greengrass/.policy_1

We are a security research team and we recently discovered that there is an over-authorization security issue with this project's IoT policies. The affected files are as following: 1. 100-Days-in-Cloud/Labs/98...