MICROSOFT.IOTSECURITY

DefenderSettings_CreateOrUpdate

enum_DefenderSettingsPropertiesMdeIntegrationStatus := [ "Disabled", "Enabled" ]
enum_DefenderSettingsPropertiesOnboardingKind := [ "Default", "MigratedToAzure", "Evaluation", "Purchased" ]

valid {
    input.Body.properties.deviceQuota == INTEGER
    input.Body.properties.sentinelWorkspaceResourceIds[_] == STRING
    input.Body.properties.onboardingKind == enum_DefenderSettingsPropertiesOnboardingKind[_]
    input.Body.properties.mdeIntegration.status == enum_DefenderSettingsPropertiesMdeIntegrationStatus[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DefenderSettings_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DefenderSettings_DownloadManagerActivation

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DefenderSettings_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DefenderSettings_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DefenderSettings_PackageDownloads

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeviceGroups_CreateOrUpdate

valid {
    input.Body.properties.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.ReqMap.deviceGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeviceGroups_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.ReqMap.deviceGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeviceGroups_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.ReqMap.deviceGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DeviceGroups_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Devices_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.ReqMap.deviceGroupName == STRING
    input.ReqMap.deviceId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Devices_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.ReqMap.deviceGroupName == STRING
    input.Qs.api-version == STRING
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Locations_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.iotDefenderLocation == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Locations_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_CreateOrUpdate

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.onPremiseSensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.onPremiseSensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_DownloadActivation

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.onPremiseSensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_DownloadResetPassword

valid {
    input.Body.applianceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.onPremiseSensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.onPremiseSensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

OnPremiseSensors_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Operations_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_CreateOrUpdate

enum_SensorPropertiesSensorType := [ "Ot", "Enterprise" ]

valid {
    input.Body.properties.tiAutomaticUpdates == BOOLEAN
    input.Body.properties.zone == STRING
    input.Body.properties.sensorType == enum_SensorPropertiesSensorType[_]
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_Delete

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_DownloadActivation

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_DownloadResetPassword

valid {
    input.Body.applianceId == STRING
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_Get

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sensors_TriggerTiPackageUpdate

valid {
    input.ReqMap.scope == STRING
    input.ReqMap.sensorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sites_CreateOrUpdate

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sites_Delete

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sites_Get

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Sites_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}