| http://www.w3.org/ns/prov#value | - Such protocols have in the past not been sufficiently well-designed to resist the more sophisticated forms of attack. ???We designed a tool called PEAR,??? says Sassone, ???which analyses protocol specifications by assigning types to various messages.
|
