机译:建立SELinux系统中安全策略规范和验证的正式模型
Security Enhanced Linux; Configuration; Formal Model;
机译:建立SELinux系统中安全策略规范和验证的正式模型
机译:正式验证网络安全系统管理中的自动策略优化
机译:规范和验证安全策略模型
机译:建立selinux系统中安全策略规范和验证的正式模型
机译:在软件规范中结合半正式和正式的符号:一种建模时间受限系统的方法。
机译:无线传感器和Actor网络的混合连接性恢复算法的正式规范和验证
机译:安全策略的正式规范和验证
机译:基于agent的信息安全系统模型:协调智能代理行为规范的体系结构和形式框架。