Computing Knowledge in Security Protocols Under Convergent Equational Theories

The analysis of security protocols requires reasoning about the knowledge an attacker acquires by eavesdropping on network traffic. In formal approaches, the messages exchanged over the network are modelled by a term algebra equipped with an equational theory axiomatising the properties of the cryptographic primitives (e.g. encryption, signature). In this context, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a procedure for both problems under arbitrary convergent equational theories. Since the underlying problems are undecidable we cannot guarantee termination. Nevertheless, our procedure terminates on a wide range of equational theories. In particular, we obtain a new decidability result for a theory we encountered when studying electronic voting protocols. We also provide a prototype implementation.     

Shaping the global oil peak: A review of the evidence on field sizes,reserve growth,decline rates and depletion rates

This review paper summarises and evaluates the evidence regarding four issues that are considered to be of critical importance for future global oil supply. These are: a) how regional and global oil resources are distributed between different sizes of field; b) why estimates of the recoverable resources from individual fields tend to grow over time and the current and likely future contribution of this to global reserve additions; c) how rapidly the production from different categories of field is declining and how this may be expected to change in the future; and d) how rapidly the remaining recoverable resources in a field or region can be produced. It is shown that, despite serious data limitations, the level of knowledge of each of these issues has improved considerably over the past decade. While the evidence on reserve growth appears relatively encouraging for future global oil supply, that on decline and depletion rates does not. Projections of future global oil supply that use assumptions inconsistent with this evidence base are likely to be in error.