進階搜尋


   電子論文尚未授權公開,紙本請查館藏目錄
(※如查詢不到或館藏狀況顯示「閉架不公開」,表示該本論文不在書庫,無法取用。)
系統識別號 U0026-0511201900562100
論文名稱(中文) 於需求層級系統之正規安全路徑驗證
論文名稱(英文) Formal security path verification on requirement level systems.
校院名稱 成功大學
系所名稱(中) 電機工程學系
系所名稱(英) Department of Electrical Engineering
學年度 108
學期 1
出版年 108
研究生(中文) 鄭天胤
研究生(英文) Tien-Yin Cheng
學號 N26061741
學位類別 碩士
語文別 中文
論文頁數 102頁
口試委員 指導教授-陳盈如
口試委員-陳郁方
口試委員-蔡孟勳
口試委員-蔡佩璇
中文關鍵字
學科別分類
論文目次
參考文獻
論文全文使用權限
  • 同意授權校內瀏覽/列印電子全文服務,於2022-10-07起公開。
  • 同意授權校外瀏覽/列印電子全文服務,於2022-10-07起公開。


  • 如您有疑問,請聯絡圖書館
    聯絡電話:(06)2757575#65773
    聯絡E-mail:etds@email.ncku.edu.tw