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-GB/ˈtɹeɪdmɑːk/
en-US/ˈtɹeɪdˌmɑɹ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