| http://www.w3.org/ns/prov#value | - This is a general concept in computer science, the usage here is an example of the general concept and is not specific to cryptography. ???Well-typed??? does not refer to a cryptographic protocol, but to a theory (model) in which a protocol is described.
|
