邵济平
- 作品数：3 被引量：3H指数：1
- 供职机构：中南大学信息科学与工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- SELinux中策略有效性的形式化模型研究
- 2006年
- 文章提出了一个形式化模型AMACP(AnalyzingModelofSELinux’AccessControlPolicy),用它来分析SELinux中的策略配置文件的有效性,SELinux中的策略数目是巨大而又复杂的。SELinux系统实现的几个子模型是由配置文件中的规则构成,但却很难全面把握这些规则对系统本身的影响。文章的目的就是根据SELinux中策略配置构建语义并且模型化这些规则之间的关系。在此基础上提出一种算法,用来验证某个主体是否可以利用某种给定的存取模式来访问某个给定的客体对象。
- 邵济平杨路明
- 关键词：SELINUX形式化
- Linux下基于flow-tools的网络异常流量分析被引量：3
- 2005年
- 随着网络的迅速发展和各种网络应用的快速普及,网络已成为人们日常工作生活中不可或缺的信息承载工具;随着网络技术的发展和网络应用的增加,网络的复杂程度增强,而且网络上的各类攻击,病毒传播也不断的威胁着网络,因此校园网内部的网络管理,亦因为服务的多样化、网络的复杂化和病毒的智能化而日趋复杂。针对以上问题,本文提出了解决方案,使网络管理者通过此方案能适时掌握网络流量,发现异常行为,完善网络管理。
- 李树旺杨路明张超邵济平
- 关键词：网络异常LINUXNETFLOW网络管理者网络应用病毒传播
- SELinux系统完整性和策略有效性算法研究
- SELinux以flask安全模型为基础，实现了细粒度而又灵活的强制访问控制(Mandatory Access Control)，它能够有效地保护系统的机密性和完整性。课题分析了SELnux的策略规则，研究了利用策略保护...
- 邵济平
- 关键词：强制访问控制
- 文献传递
