Filters








3 Hits in 2.5 sec

AnBx - Security Protocols Design and Verification [chapter]

Michele Bugliesi, Paolo Modesti
2010 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

Extractive industries in fragile states: Fueling development or undermining the future? Extractive industries in fragile states: Fueling development or undermining the future? Extractive industries in fragile states: Fueling development or undermining the future?

Fritz Brugger, Fritz Brugger
unpublished
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

DNA methylation patterns derived from fetal vulnerability to maternal smoking relate to future child outcomes

Jane WY Ng
2021
Previous work has used CPPLS for biomarker selection (Mehmood et al., 2012) .  ...  Figure 6 : 6 Successive stages of chromosome compaction depend on the introduction of additional proteins.  ... 
doi:10.7939/r3-p554-wm21 fatcat:74dbvmoyznbsvfidspyd3fy3oi