Assertion: integrity's value | /r/HasProperty | valid
Facets:
Source sentences:
text: Once EVM is started, as existing file metadata changes or as new files are created, EVM assumes that the LSM has approved such changes, and automatically updates the HMACs accordingly, assuming the existing value is valid.