Jim, thank you for the summary and for clarifying for me the difference between formal verification of a protocol and of a message encapsulation object.
It is a good point. -- Michael Richardson <[email protected]>, Sandelman Software Works -= IPv6 IoT consulting =-
signature.asc
Description: PGP signature
_______________________________________________ COSE mailing list [email protected] https://www.ietf.org/mailman/listinfo/cose
