Secure Operations Language