基于安全规则变异的Web Services安全性测试方法

针对已有变异测试研究中仅考虑对SOAP(Simple Object Access Protocol)消息输入参数的变异处理,而缺乏对SOAP消息安全规则变异的研究,文中从消息机密性、完整性及身份认证等方面对安全规则进行归类,提出了一种基于安全规则变异的Web Services安全性测试方法.首先给出一种安全规则变异测试框架,研究变异点判定规则库,设计出相应的变异操作算子、漏洞判定准则以及基于优先级与权重策略的变异算子选择方法.然后提出一种基于安全规则变异的测试用例生成算法,依照算法生成违背安全规则的SOAP消息,从而揭露Web Services的安全类故障.最后实现了一个Web Services安全性测试工具WSSTT(Web Services Security Testing Tool),在工具的基础上进行实验和对比分析,验证了文中提出的基于安全规则变异的Web Services安全测试方法的可行性和有效性.

信息内容细粒度保护中的安全规则冲突检测

在数字信息内容细粒度保护领域,通常存在对信息内容的部分保护和引用保护需求。这类保护可能带来不同安全规则之间的冲突,从而造成信息内容的不可用性,就此问题进行分析,挖掘冲突根源,提出安全规则的冲突检测算法及信息内容可用性检测算法,给出一个实例予以说明。

综合安全评估方法在船舶安全规则制定中的应用及对规范发展的影响

介绍了综合安全评估（FormalSafetyAssessment，简称FSA）的概念和特点，通过分析现今具体规定式规范与基于风险的目标设定式规范，阐述了FSA技术的应用发展趋势及其对船舶规范发展的影响。

关于修订《海上固定平台安全规则》的建议

随着近几年新技术的发展与新的法律、法规、标准等的颁布,2000年发布实施的《海上固定平台安全规则》中的部分条款已经不能满足技术与法律要求,需要进行全面的修订。根据技术方法、法律法规、标准规范的更新及实际应用过程中的使用情况对其提出了修订建议。

制定安全规则中应用综合安全评估概念的发展状况

根据IMO通过的《IMO制定规则过程中应用FSA暂行指南》介绍了在制定安全规则中应用FSA的方法和步骤以及目前国内外FSA应用研究状况,探讨了FSA的应用前景和开展应用研究中的一些问题.

《国际工业人员船舶安全规则》适用性分析及适用船舶设计要点

为确保船舶对工业人员的安全运输及工业人员在船舶和海上设施之间转移作业期间的安全,IMO新制定了《国际工业人员船舶安全规则》(《IP规则》)。为了帮助各相关方更好地理解和应用该新强制性国际规则,从不同类别人员的差异、所面临的风险程度、不同类别人员数量和触发适用《IP规则》的关系等方面进行分析,厘清《IP规则》与其他相关或相似国际公约要求、规则之间的安全水平高低和适用性上的逻辑关系,并进一步解析出适用船舶的设计要点。通过以上分析,发现符合《IP规则》的船舶不必再符合《特种用途船舶安全规则》(《SPS规则》),而客船可直接用于载运工业人员,但对货船载运工业人员有附加要求。《IP规则》适用于500总吨以上、从事国际航行、船上除船员外所有人员总数应为12名以上且至少载有一名工业人员的船舶;适用该规则的船舶在设计上需重点关注工业人员的安全转移、转移布置和危险品载运等附加设计要求。

Java Applet程序的安全规则与访问第三方WEB服务器

随着各项技术的进步,计算机技术广泛的应用于我们的日常生活中,在各软件程序开发的过程中,一种面向对象的编程语言取得了广泛的应用,就是Java语言,在实际的应用中,可以应用Java语言进行不同性质程序的编制,其中一种应用程序就是Applet程序,改程序在实际的运行过程中,不能自行运行,只有通过浏览器及小程序查看器来运行,本文主要对其程序的安全规则进行简单分析,并通过安全策略文件使其能够有效实现第三方WEB服务器的方位。

面向韧性的城市能源系统安全规则提取及优化运行

城市能源系统不仅需要具备高可靠性以应对小规模、大概率的日常故障事件,还需要具备高韧性以应对大规模、小概率的极端灾害事件。随着跨能源形式耦合以及电力电子化程度的不断提高,城市能源系统有望通过协调跨系统能量转移和海量电力电子设备快速调节提升系统韧性。首先,文中提出了极端灾害事件下城市能源系统两阶段韧性运行模型,综合考虑了电力电子设备快动态特性和多能源网络慢动态特性的建模与协调。其次,针对韧性模型存在多约束、求解复杂度高等问题,提出了基于稀疏权重斜决策树理论的数据驱动城市能源系统安全规则提取方法,将复杂的韧性模型转化为少量的混合整数线性约束,即安全规则,并内嵌至系统正常运行模型。最后,通过算例分析验证了所提方法的有效性及其相较于传统模型驱动方法在计算效率上的优势。

客船安全规则升级

＂歌诗达.协和＂号海难不仅将邮轮安全再次推向舆论的风口浪尖,同时也引起人们对国际安全规定和标准的关注。阳光下的吉格里奥岛似乎依然难以恢复往日的平静。该岛前方400米处便是＂歌诗达.协和＂号邮轮鬼魅般的白色残骸。2012年1月13日,这艘意大利籍大型豪华邮轮在此触礁侧翻。据统计,事故造成32人丧生。目前,意大利政府对该事故的调查尚在进行中,仍未形成最终结论。

煤矿主要工种本体构建及安全规则推理

目前煤矿领域本体侧重于对事故的预测,尚无针对煤矿作业人员操作安全性的本体研究。为及时发现作业人员的危险操作来为作业人员提供安全预警,提出了一种煤矿主要工种本体构建及安全规则推理方法。根据煤矿实际生产状况,将煤矿生产中的作业人员、操作设备、操作方法、地点、环境、事故和状态等信息形式化表示,利用本体语言构建了覆盖采煤系统、掘进系统、机电运输、地质测量、通风瓦斯、综合防尘和选煤厂等多个生产系统的煤矿主要工种本体。根据煤矿领域专业文献中的安全生产规定,基于Jena自定义规则语法制定了安全规则,并基于安全规则实现对煤矿主要工种本体中作业人员操作安全性的推理。实验结果表明,基于煤矿主要工种本体及安全规则来判断作业人员安全状态有效可行,为煤矿安全生产提供了一种辅助保障手段。