动态安全策略逻辑语言及安全属性验证问题的研究

针对动态安全策略在策略表达、判决和验证等方面具有的重要意义,提出了一种可用于动态安全策略表达、决策和验证的逻辑系统SSML.首先,给出了SSML逻辑系统的语法和语义,并且证明了一般意义上的SSML逻辑系统查询评估问题是不可判定的,从而表明不存在通用的SSML安全策略语义查询评估算法.其次,研究SSML子语言特性,发现两类语法受限的SSML动态安全策略——NDel型安全策略和TDel型安全策略.虽然前者不允许在安全策略中出现删除规则,后者只允许完全信任的管理人员执行删除规则,但它们的查询评估问题是可判定的,并且分别构造出它们的查询评估算法——OLDTE和OLDTT.最后,通过实例说明如何使用OLDTE或OLDTT实现安全策略验证,从而证明这两类动态安全策略具有广泛的应用前景,对动态安全策略及其安全性分析方法的研究具有重要意义.     

丝素蛋白及其复合支架制备方法的研究进展

简要介绍了丝素蛋白的特性以及丝素蛋白复合支架在医学组织工程中的应用,综述了丝素蛋白及其复合支架制备方法的研究进展,主要包括冷冻干燥法、静电纺丝法、气体发泡法、致孔剂制孔法、快速成型法等,同时还比较了各种制备方法的优缺点。     

一种入侵容忍系统的研究与实现

在信息系统存在入侵时,入侵容忍技术能够最大限度保障关键服务的运行。提出一种自适应容侵系统的体系结构,在节点和系统两个级别上实现入侵容忍,并研究攻击在线诊断及重定向技术,增强系统抵抗攻击的能力。实验结果表明,能够构建具有入侵容忍能力的连续服务系统,并能够在对响应时间要求不太严格但要求不间断运行的系统中得到应用。     

网络空间大搜索研究范畴与发展趋势

随着网络空间的拓展、网络应用模式的发展及大数据时代的到来,面向网络空间的下一代搜索引擎——“大搜索”已具有迫切的需求。阐述了网络空间大搜索的内涵及其特点,提出了大搜索的研究范畴,包括泛在网络空间信息获取与发掘、知识仓库构建和管理、用户搜索意图准确理解与表示、用户意图高效匹配和推演、大搜索安全可信与隐私保护等方面的内容,并针对上述问题,指出了具有5S特性的网络空间大搜索技术的发展趋势。     

淀粉醚化变性对羊毛纤维黏附性能的影响

采用轻浆粗纱法,以粗纱条的最大强力、断裂功及断裂伸长为量化指标,研究了淀粉羧甲基变性、季铵阳离子化变性以及羧甲基-季铵阳离子化双重变性对羊毛纤维黏附性能的影响.实验结果表明:上述3种醚化变性方式都能改善淀粉对羊毛纤维的黏附性能;3种醚化变性方式以羧甲基-阳离子双重变性方式的效果最为显著;随着淀粉变性程度的增大,黏附性能也随之提高.     

基于Web的研究生选课系统的实现

介绍动态网页技术实现网络选课系统。     

静电纺SF/COL/PLLA和SF/COL/PLCL三维纳米纤维支架化学结构和浸润性对比研究

采用静电纺丝法,以丝素(SF)、胶原(COL)混合聚左旋乳酸(PLLA)和聚(左旋乳酸-己内酯)(PLCL),制备不同质量配比的SF/COL/PLLA和SF/COL/PLCL三维纳米纤维支架材料,采用傅里叶红外光谱(FTIR)分析高分子聚合物对丝素、胶原结构的影响,测量接触角以检测其亲水性能。结果表明:高分子聚合物破坏丝素胶原之间形成的氢键,使以β折叠结构为主的SF变为以无规卷曲和α螺旋结构为主;当SF/COL与高聚物质量比为70∶30时,接触角θ90°,液体对三维纳米纤维支架材料的润湿性较好,且SF/COL/PLCL的亲水性比SF/COL/PLLA的亲水性更优。     

面向内容安全的多模精确匹配算法性能分析

在对大规模网络流量进行实时处理的情况下，对几种典型的多模式精确匹配算法，结合信息内容安全的特点，提出了分析性能的测试方案。根据测试方案，通过实验模拟分析了算法的性能，给出了不同情况下的最优算法。     

SF/COL/PLCL静电纺丝三维纳米纤维支架材料的性能研究

采用静电纺丝法以六氟异丙醇(HFIP)为溶剂,将质量比为70∶30的SF/COL(丝素/胶原)和PLLC(聚左旋乳酸己内酯)共混制备质量比为0∶100,30∶70,50∶50,70∶30,100∶0的8%SF/COL/PLCL的三维纳米纤维支架,25%戊二醛蒸汽交联48h后检测各组比例支架材料的理化性能及生物性能。扫描电镜显示纳米纤维形貌良好,均为纳米级别;X射线衍射结果显示交联后材料结晶度增强,SilkⅠ构象由α-折叠形成稳定的β-折叠;材料交联后为疏水性,PLCL的加入明显改善材料的亲水性能;热稳定性随着PLCL浓度的增加也愈加稳定,交联后尤其明显。细胞培养实验证明,随着培养时间延长,细胞在不同比例的支架上粘附、铺展和增殖均良好,但hPDLSCs与配比为30∶70的SF/COL/PLCL支架复合后增殖速率最快。     

基于CSP方法的移动自组织网络认证协议TAM的分析与改进

针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题,提出了采用基于通信顺序进程（CSP, communicating sequential process）和模型检测的协议分析方法,对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进。首先采用CSP方法对TAM中参与者的通信行为建立模型、给出了安全目标的安全规范;然后利用模型检测工具FDR验证了TAM的CSP进程,结果表明TAM不满足认证性和机密性安全规范;最后对TAM进行了改进并检验,结果表明改进后的TAM满足安全目标,实验表明与TAM相比,改进的TAM在合理的簇规模情况下增加可接受的额外开销。