Login / Signup
Shouei Ou
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Security Model
Designated Verifier
Temporal Logic
Mazurkiewicz Traces
Top Venues
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)