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
- hõlmab vastasemudelit
- hõlmab 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.