Vitalsource Technologies, Inc. Security Policy in System-on-Chip Designs: Specification, Implementation and Verification