可信操作系统相关论文
操作系统安全是信息系统安全的基石。40多年来，安全操作系统得到了长足的发展，并在访问控制框架和安全模型方面均取得了丰硕的成果。......
随着无人机在军事领域及民用领域中的广泛应用,其面临的安全问题也日益受到研究人员的重视。经过形式化验证的操作系统内核虽然能......
