A High-Assurance Approach to CJIS-SP Compliance