A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We discuss an implementation of the abstractions based on a translation from the AnBx notation to the AnB language supported by the OFMC [1,2] verification tool. ... These abstractions provide a compact specification of the high-level security guarantees they convey, and help shield the design from the details of the underlying cryptographic infrastructure. ... the CPPL language for design and verification. ...doi:10.1007/978-3-642-16074-5_12 fatcat:kdu5eveuarfwveckidrwu3jlqi
Social capital has also become part of the language toolbox of CSR departments in combination with the business case type of CSR. ... Examples include the OECD guidelines for multinational corporations and the UN Global Compact (UNGC). Some initiatives explicitly target the extractive industries. ...fatcat:w5qdcnzckfgpjmxjpqp35u6fs4