Hua Wang Yao Guo Xiangqun Chen SAConf: Semantic Attestation of Software Configurations. 120-133 2009 ATC http://dx.doi.org/10.1007/978-3-642-02704-8_10 conf/atc/2009 db/conf/atc/atc2009.html#WangGC09