辻井重男セキュリティ論文賞 特別賞受賞論文（概要)
Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache
2020 年 34 巻 1 号 p. 41-42
詳細
記事の1ページ目
2020 年 34 巻 1 号 p. 41-42
