Товарный знак в компьютерной безопасности — это контракт между кодом, который проверяет свойства безопасности объекта, и кодом, который требует, чтобы объект обладал определенными свойствами безопасности. Как таковой он полезен для обеспечения безопасного потока информации. В объектно-ориентированных языках регистрация товарных знаков аналогична подписи данных, но часто может быть реализована без криптографии.
Эта операция аналогична закрытому ключу в процессе цифровой подписи, поэтому она не должна подвергаться воздействию ненадежного кода. Его следует применять только к неизменяемым объектам , и он гарантирует, что когда VerifyTrademark? вызывается для того же значения, которое возвращает true.
Эта операция аналогична открытому ключу в процессе цифровой подписи, поэтому может подвергаться воздействию ненадежного кода. Возвращает истину тогда и только тогда, когда ApplyTrademark! был вызван с данным объектом.
Торговая марка является обратной проверкой на наличие дефектов . В то время как проверка на наличие заражений — это метод занесения в черный список, в котором говорится, что определенным объектам нельзя доверять, внесение товарных знаков — это подход в белом списке, который помечает определенные объекты как обладающие определенными свойствами безопасности.
Иногда в процессе проверки нет необходимости, потому что тот факт, что значение имеет определенное свойство безопасности, можно проверить статически . В этом случае свойство apply используется для подтверждения того, что объект был создан кодом, который был официально проверен для создания выходных данных только с определенным свойством безопасности.