Proving Spectrum Services