基于屬性的微內(nèi)核系統(tǒng)調(diào)用CPN建模和測(cè)試.pdf

1、操作系統(tǒng)是應(yīng)用系統(tǒng)正確、安全運(yùn)行的基礎(chǔ)軟件。微內(nèi)核操作系統(tǒng)可提高系統(tǒng)的可擴(kuò)展性，增強(qiáng)系統(tǒng)的可靠性和安全性，有很好的應(yīng)用前景。系統(tǒng)調(diào)用是操作系統(tǒng)提供給用戶的唯一接口，用戶可以通過(guò)系統(tǒng)調(diào)用進(jìn)行相應(yīng)的功能操作，但同時(shí)也可以通過(guò)系統(tǒng)調(diào)用的漏洞進(jìn)行破壞。所以，對(duì)操作系統(tǒng)中各個(gè)系統(tǒng)調(diào)用的測(cè)試可減少系統(tǒng)調(diào)用中存在的安全隱患，加強(qiáng)操作系統(tǒng)的安全。
　　 本文以微內(nèi)核操作系統(tǒng)Minix3為例，對(duì)微內(nèi)核的系統(tǒng)調(diào)用進(jìn)行了基于屬性的建模和測(cè)試，主要研究

2、工作包括以下幾個(gè)方面：
　　 首先，我們深入閱讀了Minix3操作系統(tǒng)源碼，對(duì)其實(shí)現(xiàn)的功能進(jìn)行了深入的分析，了解了微內(nèi)核操作系統(tǒng)體系結(jié)構(gòu)的特點(diǎn)，并比較了微內(nèi)核系統(tǒng)調(diào)用與宏內(nèi)核系統(tǒng)調(diào)用不同的地方。
　　 其次，對(duì)微內(nèi)核系統(tǒng)調(diào)用進(jìn)行了測(cè)試。在源代碼的基礎(chǔ)上，提取系統(tǒng)調(diào)用的屬性，以屬性為粒度進(jìn)行CPN建模，執(zhí)行系統(tǒng)調(diào)用測(cè)試，并給出了實(shí)驗(yàn)結(jié)果。
　　 最后，由于操作系統(tǒng)的安全性是通過(guò)一系列的系統(tǒng)調(diào)用體現(xiàn)的，其中與安全訪問(wèn)