Towards a formal foundation of protection against data-oriented attacks. - Ryo Fukuyama; Naoto Yanai; Shingo Okamura; Toru Fujiwara (ISITA, 2016)