Una marca registrada en seguridad informática es un contrato entre el código que verifica las propiedades de seguridad de un objeto y el código que requiere que un objeto tenga ciertas propiedades de seguridad. Como tal, es útil para garantizar un flujo de información seguro. En los lenguajes orientados a objetos, la marca registrada es análoga a la firma de datos, pero a menudo se puede implementar sin criptografía.
Esta operación es análoga a la clave privada en un proceso de firma digital, por lo que no debe exponerse a un código que no sea de confianza. Solo debe aplicarse a objetos inmutables y se asegura de que cuando VerifyTrademark? se llama con el mismo valor que devuelve verdadero.
Esta operación es análoga a la clave pública en un proceso de firma digital, por lo que puede estar expuesta a un código que no es de confianza. Devuelve verdadero si y sólo si, ApplyTrademark! ha sido llamado con el objeto dado.
La marca registrada es lo contrario de la verificación de contaminación . Mientras que la verificación de corrupción es un enfoque de lista negra que dice que no se debe confiar en ciertos objetos, la marca registrada es un enfoque de lista blanca que marca ciertos objetos que tienen ciertas propiedades de seguridad.
A veces no es necesario realizar un proceso de verificación porque el hecho de que un valor tenga una determinada propiedad de seguridad se puede verificar de forma estática . En este caso, la propiedad apply se usa para afirmar que un objeto fue producido por un código que se verificó formalmente para producir solo salidas con la propiedad de seguridad particular.