標題: | 計算機網路之安全通信協定的驗證與系統實作(II) Verification and Simulation of Security Protocols In Computer Networks(II) |
作者: | 楊武 國立交通大學資訊科學學系(所) |
公開日期: | 2005 |
官方說明文件#: | NSC94-2213-E009-029 |
URI: | http://hdl.handle.net/11536/90360 https://www.grb.gov.tw/search/planDetail?id=1136638&docId=217207 |
顯示於類別: | 研究計畫 |