Computer security addresses the problem of enforcement of security policies in the presence of malicious users and software. Systems enforcing mandatory policies can create confinement domains that limit the damage incurred by malicious software executing in applications. To achieve assurance that the confinement domains cannot be breached, the underlying enforcement mechanism must be construct...

We model greenhouse gas (GHG) emissions as a dynamic game. Countries’ emissions increase atmospheric concentrations of GHG, which negatively affects all countries' welfare. We analyze self-enforcing climate-change treaties that are supportable as subgame perfect equilibria. A simulation model illustrates conditions where a subgame perfect equilibrium supports the first-best outcome. In one of o...

In the absence of world government, an effective treaty to control the emissions of greenhouse gases should be self-enforcing. A self-enforcing treaty has the property that, if a country expects other countries to abide by the treaty, it will be in the self-interest of that country to abide by the treaty too. (A difficulty with the Kyoto Protocol is that it does not appear to lay the groundwork...