The Kyoto Protocol foresees emission trading but does not yet specify verification of (uncertain) emissions. This paper analyses a setting in which parties can meet their emission targets by reducing emissions, by investing in monitoring (reducing uncertainty of emissions) or by (bilaterally) trading permits. We derive the optimality conditions and carry out various numerical simulations. Our applications suggest that including uncertainty could increase compliance costs for the USA, Japan and the European Union. Central Europe and the Former Soviet Union might be able to gain from the trading due to higher permit prices. Emissions trading could also lower aggregate uncertainty on emissions.