SolidSpec 授权管理