Hayato Shimamoto

According to our database, Hayato Shimamoto authored at least 2 papers between 2016 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

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

2016

Web security model with cache.

Hayato Shimamoto, Naoto Yanai, Shingo Okamura, Toru Fujiwara

Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016