コンピュータセキュリティの商標は、オブジェクトのセキュリティプロパティを検証するコードと、オブジェクトに特定のセキュリティプロパティが必要であることを示すコードとの間の契約です。このように、安全な情報の流れを確保するのに役立ちます。オブジェクト指向言語では、商標はデータの署名に似ていますが、しばしば暗号なしで実装できます。