---
updatedAt: 2025-11-12T00:58:04.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# CLOUDHSM

<Embed url="https://docs.aws.amazon.com/" title="AWS documentation" provider="docs.aws.amazon.com" href="https://docs.aws.amazon.com/" />

# AddTagsToResource

```erlang
valid {
    input.Body.ResourceArn == STRING
    input.Body.TagList[_].Key == STRING
    input.Body.TagList[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# CreateHapg

```erlang
valid {
    input.Body.Label == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# CreateHsm

```erlang
enum_SubscriptionType := [ "PRODUCTION" ]

valid {
    input.Body.SubnetId == STRING
    input.Body.SshKey == STRING
    input.Body.EniIp == STRING
    input.Body.IamRoleArn == STRING
    input.Body.ExternalId == STRING
    input.Body.SubscriptionType == enum_SubscriptionType[_]
    input.Body.ClientToken == STRING
    input.Body.SyslogIp == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# CreateLunaClient

```erlang
valid {
    input.Body.Label == STRING
    input.Body.Certificate == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeleteHapg

```erlang
valid {
    input.Body.HapgArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeleteHsm

```erlang
valid {
    input.Body.HsmArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DeleteLunaClient

```erlang
valid {
    input.Body.ClientArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DescribeHapg

```erlang
valid {
    input.Body.HapgArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DescribeHsm

```erlang
valid {
    input.Body.HsmArn == STRING
    input.Body.HsmSerialNumber == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# DescribeLunaClient

```erlang
valid {
    input.Body.ClientArn == STRING
    input.Body.CertificateFingerprint == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# GetConfig

```erlang
enum_ClientVersion := [ "5.1", "5.3" ]

valid {
    input.Body.ClientArn == STRING
    input.Body.ClientVersion == enum_ClientVersion[_]
    input.Body.HapgList[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListAvailableZones

```erlang
valid {
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListHapgs

```erlang
valid {
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListHsms

```erlang
valid {
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListLunaClients

```erlang
valid {
    input.Body.NextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ListTagsForResource

```erlang
valid {
    input.Body.ResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ModifyHapg

```erlang
valid {
    input.Body.HapgArn == STRING
    input.Body.Label == STRING
    input.Body.PartitionSerialList[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ModifyHsm

```erlang
valid {
    input.Body.HsmArn == STRING
    input.Body.SubnetId == STRING
    input.Body.EniIp == STRING
    input.Body.IamRoleArn == STRING
    input.Body.ExternalId == STRING
    input.Body.SyslogIp == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# ModifyLunaClient

```erlang
valid {
    input.Body.ClientArn == STRING
    input.Body.Certificate == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```

# RemoveTagsFromResource

```erlang
valid {
    input.Body.ResourceArn == STRING
    input.Body.TagKeyList[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}
```