软件安全检测技术中，定理证明属于软件(  )安全检测技术。