CROWN-C: A High-Assurance Service-Oriented Grid Middleware System