Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache
[in Japanese], [in Japanese], [in Japanese], [in Japanese], [in Japanese], [in Japanese]
Author information
2020 Volume 34 Issue 1 Pages 41-42
Details
Article 1st page
