1) most general unifier
最一般的一致替换
2) most general substitute
最一般代换
1.
Messages and goals of each security protocol are formalized with different set of expression,then most general substitute of the set of expression can be solved by an algorithm.
把每个安全协议的消息和目标分别形式化为表达式集,通过一个算法分别求各表达式集合的最一般代换。
3) most general unifier
最一般的一致化取代
补充资料：替换
1.把原来的(工作着的人﹑使用着的衣物等)调换下来;倒换。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。