Teng Long, Guoqing Yao. Verification for Security-Relevant Properties and Hyperproperties. In 2015 IEEE 12th Intl Conf on Ubiquitous Intelligence and Computing and 2015 IEEE 12th Intl Conf on Autonomic and Trusted Computing and 2015 IEEE 15th Intl Conf on Scalable Computing and Communications and Its Associated Workshops (UIC-ATC-ScalCom), Beijing, China, August 10-14, 2015. pages 490-497, IEEE, 2015. [doi]
Abstract is missing.