PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Alice uses her PrivKeyA to cryptographically sign M' (which mostly means hashing M' and encrypting the result with that private key, in the case of RSA), which gives us Sign(M',PrivKeyA)
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com