操作系统对象相关硕士博士期刊学术论文

操作系统的复杂性使得其安全性问题目益突出．有不少的研究工作采用形式化的方式对现有的操作系统进行了正确性的验证，这些工作主要是......