Property-based remote attestation in open network environment: Property-based remote attestation in open network environment