基于程序切片的隐秘通信

为了讨论方便，本文首先定义一些重要术语[6-11]。为了讨论方便为了讨论方便，本文首先定义一些重要术语[6-11]。定义1（控制依赖）设为程序P的三条语句，控制依赖于当且仅当是否执行依赖于的执行。如果