Searching in doc/security/specs/device_provisioning