tree fcadcc3fc7d033977185e22dca0489769db52aea
parent 57553fa2f03c92e9f1e20c26e095ecd5bac85315
author Gilles Peskine <Gilles.Peskine@arm.com> 1569947985 +0200
committer Simon Butcher <simon.butcher@arm.com> 1584112933 +0000

Use standard terminology to describe the personalization string

NIST and many other sources call it a "personalization string", and
certainly not "device-specific identifiers" which is actually somewhat
misleading since this is just one of many things that might go into a
personalization string.