formal claim
võimeväide
olemus
krüptograafias, ISO 13491:
deklaratsioon turvalise krüptovahendi
karakteristikute ja funktsioonide kohta
=
statement about the characteristics and functions of a secure cryptographic device
https://www.researchgate.net/profile/Ganesh_Pai2/publication/272792561/figure/fig5/AS:668442529116173@1536380526571/Claim-formalization-pattern.png