Web security model with cache. - Hayato Shimamoto; Naoto Yanai; Shingo Okamura; Toru Fujiwara (ISITA, 2016)

Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache. - Hayato Shimamoto; Naoto Yanai; Shingo Okamura; Jason Paul Cruz; Shouei Ou; Takao Okubo (IEEE Access, 2019)