olemus
ISO/IEC 29128:
asitõend, mida väljatöötaja kasutab kontrollimiseks, kas spetsifitseeritud protokollil on talle määratud turvaomadused; - hõlmab krüptoprotokolli spetsifikatsiooni, vastasemudelit, formaalse verifitseerimisvahendi väljastisi
= evidence that the developer uses to verify whether a specified protocol fulfils its designated security properties
Note. It includes cryptographic protocol specification, adversarial model and output (transcripts) of formal verification tool.