tokens: ['That', 'TRE', 'should', 'verify', 'that', 'commands', 'and', 'responses', 'between', 'such', 'MCIMs', 'are', 'originauthenticated', '', 'A', 'TRE', 'should', 'be', 'able', 'to', 'support', 'and', 'enforce', 'the', 'security', 'controls', 'of', 'MCIMs', '', 'On', 'behalf', 'of', 'a', 'MME', 'subscriber', 'a', 'TRE', 'should', 'store', 'monitor', 'and', 'enforce', 'such', 'MCIM', 'management', 'security', 'controls', 'as', 'may', 'be', 'specifiable', 'by', 'the', 'MME', 'subscriber', '', 'Interfaces', 'to', 'a', 'TRE', 'should', 'be', 'usable', 'without', 'compromising', 'the', 'Confidentiality', 'Integrity', 'and', 'Availability', 'of', 'the', 'MCIMs', 'or', 'of', 'that', 'TRE', '', 'A', 'TRE', 'should', 'assure', 'the', 'security', 'of', 'the', 'transition', 'of', 'MCIMs', 'through', 'their', 'various', 'lifecycle', 'stages', '', 'A', 'TRE', 'should', 'maintain', 'a', 'registry', 'of', 'the', 'MCIMs', 'that', 'it', 'manages', 'including', 'information', 'about', 'their', 'current', 'lifecycle', 'and', 'security', 'status', '', 'The', 'executable', 'code', 'of', 'a', 'MCIM', 'should', 'be', 'integrity', 'checked', 'by', 'a', 'TRE', 'at', 'boot', 'time', 'and', 'whenever', 'a', 'TRE', 'is', 'reset', 'and', 'optionally', 'at', 'the', 'start', 'of', 'each', 'session', 'with', 'that', 'MCIM', 'The', 'integrity', 'of', 'the', 'file', 'system', 'may', 'also', 'be', 'checked', 'Detection', 'of', 'anomalies', 'should', 'result', 'in', 'the', 'MCIM', 'entering']