工业协议安全分析中形式化粒度问题分析