Return to search

Trace Equivalence and Epistemic Logic to Express Security Properties / セキュリティ特性を表現するためのトレース等価と認識論理

京都大学 / 新制・課程博士 / 博士(理学) / 甲第23687号 / 理博第4777号 / 新制||理||1684(附属図書館) / 京都大学大学院理学研究科数学・数理解析専攻 / (主査)教授 長谷川 真人, 教授 牧野 和久, 准教授 照井 一成 / 学位規則第4条第1項該当 / Doctor of Science / Kyoto University / DFAM

Identiferoai:union.ndltd.org:kyoto-u.ac.jp/oai:repository.kulib.kyoto-u.ac.jp:2433/275009
Date23 March 2022
CreatorsMinami, Kiraku
Contributors南, 規楽, ミナミ, キラク
PublisherKyoto University, 京都大学
Source SetsKyoto University
LanguageEnglish
Detected LanguageEnglish
Typedoctoral thesis, Thesis or Dissertation

Page generated in 0.0019 seconds