Login / Signup
Hayato Shimamoto
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Security Model
Access Control
Temporal Logic
Designated Verifier
Top Venues
ISITA
IEEE Access
</>
Publications
</>
Hayato Shimamoto
,
Naoto Yanai
,
Shingo Okamura
,
Jason Paul Cruz
,
Shouei Ou
,
Takao Okubo
Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache.
IEEE Access
7 (2019)
Hayato Shimamoto
,
Naoto Yanai
,
Shingo Okamura
,
Toru Fujiwara
Web security model with cache.
ISITA
(2016)