Primary links

胡毓忠老師101第二學期的開課資訊

 胡毓忠老師101第二學期的開課資訊如下:

1. 資訊系統與網路安全(雖然是開給研究生碩博學生,但是大學部高年級同學有興趣的同學也歡迎選修,因為可以當作大學部畢業學分,或未來研究所的抵免學分)

本課程的主要目標將以電腦密碼學為基礎來探討如何將其應用在資訊系統與網路安全之中。因此我們將假設修課的同學已經有一些基礎的密碼學的知識,這些基礎密碼學的基礎知識僅會在開學上課的前兩週做一個簡單與密集式的介紹與複習。我們的課程的主要內容是在介紹資訊系統安全與網路安全。首先在密碼學演算法的部分,主要包括了有對稱性加密與解密、非對稱性加密與解密、公鑰匙架構(PKI)、訊息完整性與來源的檢驗、電子簽章等。在軟體系統安全部份主要包括了有:使用者認證、存取控管、資料庫安全、惡意的軟體程式、入侵偵測、防火牆與入侵預防、軟體系統與作業系統安全、可信度計算與多重安全系統、安全稽核、法規與倫理等。網路安全部分主要包括了有:網路與系統實體層的安全、無線網路安全、網路協定層安全,轉換層安全,與應用層安全。

2.電腦科學邏輯基礎(同時提供給研究所與大學部(群修課)的同學們選修)

電腦邏輯(computer logic)有人比喻成電腦科學的微積分,這是一個電腦科學的基礎訓練課程。電腦科學邏輯和人工智慧以及電腦運算複雜度(computational complexity)等的關係非常密切,因此而可以應用的範圍非常廣泛,主要包括了有知識系統的表達與運作、電腦程式語言的設計、以及第三代智慧型全球資訊網(Web 3.0)等。本課程的主要目標是提供修課同學們對於電腦邏輯整體知識的瞭解,主要包括了propositional logic和predicate logic這兩大類。我們將完整的介紹上述電腦邏輯兩大類別的概念,並且更進一步介紹智慧型Web 3.0所需要用到的description logic(DL)和logic program (LP)。我們都知道DL和LP的基礎可以用來設計本體論(ontology)與規則(rule)這兩大知識庫系統。事實上DL是屬於predicate logic中first order logic (FOL)的一部份,而LP也有很大的一部份是隸屬於FOL。因此瞭解到上述邏輯基礎知識之後同學們可以更進一步用計畫實作的方式將電腦邏輯應用到知識系統表達與推理,如第三代智慧型全球資訊網上資訊結構的塑模、查詢、與判斷。本課程在期中考之前將以課本的proposal logic與部分的predicate logic為主,在期中考之後我們則將介紹課本剩餘的predicate logic以及相關補充的description logic和logic program (Datalog)以及其應用。

附加檔案大小
C-Security(2013Spring).pdf77.32 KB

Powered by Drupal 5.5 and copyright © 新趨勢網路科技實驗室 ( Emerging Network Technology Laboratory ), Some Rights Reserved
This work is licensed under a Creative Commons License.