一种使用RBAC模拟实施BLP的方法*

给出了使用RBAC96模型模拟实施BLP模型的方法,包含实施BLP模型的安全标记、简单安全属性、自由*-属性和严格*-属性以及针对可信主体定义的可信范围的方法.     

进程内细粒度保护域模型及其实现

提出了一种利用细粒度保护域方法实现进程权限动态改变的机制。根据进程的不同执行阶段对系统资源和程序地址空间访问方式的不同，将其划分为多个保护域。设置各个保护域对程序地址空间的访问方式，使之能有效地防御用户态代码注入攻击；保护域对系统资源访问的控制通过一个强制访问控制框架来实施，以此满足系统的安全策略。     

一种高效多模式匹配算法及其在NIDS上的应用

提出了一种基于BM算法思想的、改进了的多模式串匹配算法,并且讨论了它在一个网络入侵检测系统(NIDS)中的实际应用情况。从具体实验中可以看到匹配时间上的显著改进。     

基于开放逻辑R反驳计算的访问控制策略精化

策略精化是解决分布式应用访问控制策略配置复杂性的重要方法,现有精化技术给出了策略分层描述和逐层精化的方法,但处理策略之间关联问题的能力不足.基于精化树描述策略和策略关联,基于叶结点策略冲突判断,采用开放逻辑R反驳计算分析精化树策略关联属性,能够消解策略冲突同时保证策略互斥、组合、访问路径协同、精化映射等关联正确,并能够按序消解不同类型策略冲突、自由取舍相冲突的策略.实验与分析计算性能表明,该方法符合SaaS平台客户应用系统策略精化需求.     

基于圆柱分度凸轮圆盘型刀库的实体建模

介绍了圆柱分度凸轮的工作原理,并以容量为24把刀的圆盘型刀库的凸轮设计为例,详细论述了圆柱凸轮的设计过程。基于Pro/Engineer wildfire2.0对凸轮进行3D建模,然后基于该凸轮设计出了新型实用刀库。     

HybridHP:一种轻型的内核完整性监控方案及其形式化验证

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和监控能力.最后对HybridHP进行了攻击实验和性能评估,结果显示HybridHP提供了和传统的虚拟化监控方案相同的安全保障,并具有很好的系统性能.     

局域网行为管理系统的设计与实现*

在研究网络用户行为特点的基础上提出了基于Web的局域网行为管理模型,并根据该模型进行了管理系统的设计和实现。     

基于聚类的超链路预测

超链路预测是利用已观测到网络的特性来复现网络中缺失的链路。现有的超链路预测算法通常利用整个网络来进行预测,预测结果会遗漏训练样本数据较少的链路类别,导致预测种类不够全面。为了解决这个问题,提出了基于聚类的超链路预测算法C-CMM,首先对数据集进行聚类分簇,进而对每一个簇建立模型进行超链路预测。所提算法能够充分利用各个簇的观察样本所蕴含的信息,扩大预测结果覆盖的类别。在三个真实数据集上的实验结果表明,C-CMM和多个先进的链路预测算法相比具有更高的预测精度和效率,同时其预测覆盖种类也更加全面。     

超声波辅助提取荸荠皮天然棕色素的工艺研究

研究了超声波辅助提取荸荠皮天然棕色素的条件,正交实验结果表明,最佳工艺条件为:以50%的食用酒精为溶剂,料液比为1∶10(g/mL),超声频率为20 kHz、超声功率为80 W,超声时间为40 min,浸提温度为70℃。在此条件下,荸荠皮棕色素的浸提率为22.79%,较之常规浸提法提高了16.99个百分点,而且超声波没有改变荸荠皮棕色素的性状和结构。     

中山大学珠海校区体育馆建筑设计

项目是一个社区型多功能的高校体育馆,通过下沉空间及绿化屋面等手法使建筑与环境相协调。注重平等开放,尝试去中心化的平面设计,精减室内空间面积,利用适合南方气候的架空层将辅助性空间释放到缘侧灰空间,消解建筑与环境之间的边界,在建筑中形成多路径的组织系统。使用者可以自由进入,成为定义空间使用状态的主体。由此产生自组织的可能性,让建筑适当地处于失控状态,成为开放多元的校园活动场所。