Trademark
contract in computer security between code that verifies security properties of an object and code that requires that an object have certain security properties
en-US/ˈtɹeɪdˌmɑɹk/
en-GB/ˈtɹeɪdmɑːk/
contract in computer security between code that verifies security properties of an object and code that requires that an object have certain security properties