用书面意思来解释,安全逻辑学的定义是什么?