This section will propose a method for structured representation and analysis of CR policies, by considering regulation of White Space Devices (WSD) as a representative example discussed in the first chapter. The aim of ...