Before revision: A Trademark in computer security is a contract between code that verifies security properties of an object and code that requires thensuring that an object have certain security properties.
After revision: A Trademark in computer security is a contract between code that verifies security properties of an object and code that requires that an object have certain security properties.