2022-01-012024-05-18https://scholars.lib.ntu.edu.tw/handle/123456789/701057基於安全程式語言設計與實作之安全虛擬機器監測器(1/2)