Towards Further Formal Foundation of Web Security: Expression of Temporal Logic in Alloy and Its Application to a Security Model With Cache

• 島本 隼人

  大阪大学

• 矢内 直人

  大阪大学

• 岡村 真吾

  奈良工業高等専門学校

• クルーズ ジェイソン ポール

  大阪大学

• 王 晶栄

  大阪大学

• 大久保 隆夫

  情報セキュリティ大学院大学

収録刊行物

• 日本セキュリティ・マネジメント学会誌

  日本セキュリティ・マネジメント学会誌 34 (1), 41-42, 2020

  日本セキュリティ・マネジメント学会

キーワード

• ウェブセキュリティ，形式検証，Alloy，時相論理

詳細情報

• CRID: 1390848250136028544
• NII論文ID: 130007887898
• DOI: 10.32230/jssmjournal.34.1_41
• ISSN: 24345504
• ISSN: 13436619
• 本文言語コード: ja
• データソース種別:
  • JaLC
  • CiNii Articles