互联网内容分级服务技术标准体系的形式化设计与验证

发布时间：2017-11-23 04:03

  本文关键词：互联网内容分级服务技术标准体系的形式化设计与验证

  更多相关文章： 内容分级 内容过滤 技术标准体系 形式化设计

【摘要】：互联网内容分级服务正得到政府部门和研究机构的关注和重视,内容分级产品的开发和市场应用也日渐增长,但已有的产品各自采用私有解决方案,相互间无法互联互通,不利于互联网内容分级服务技术的产业化和大规模推广应用。开发统一、完备和相容的内容分级服务技术标准体系是解决该问题的有效技术手段。互联网内容分级服务是由许多功能服务主体所构成的大型分布式系统,在相关业务目标实现过程中,这些构成主体间将表现出复杂的、并发的协同交互行为。为确保系统功能正确实现,必须对所有构成主体的功能及其交互行为进行严格规范。现有技术标准体系主要采用工程经验方法来实现上述任务,其完备性和一致性没有得到充分验证。因此,运用形式化方法来完成相关技术标准体系的建模、设计和验证是必要的,并能为后续的各组成技术标准详细设计和系统开发提供坚实的理论基础。为此,本论文主要从以下四个方面对互联网内容分级服务技术标准体系进行了研究：(1)业务环境形式化目标建模和系统目标提取；(2)系统内部构成主体及其协同交互目标提取和形式化描述；(3)各组成技术标准及其相互关系的提取和形式化描述；(4)技术标准体系形式化验证和能力比较。本论文取得了以下四项成果：(1)构建了业务环境的形式化目标模型分析并提取各项核心业务目标,给出这些目标的形式化描述；对这些目标进行逐层精化,推得完整的业务环境形式化目标模型；从该模型提取出各项系统目标、环境假设和领域属性,并给出它们的形式化描述。该建模策略从理论上可确保,在各项环境假设和领域属性都被满足的前提下,只要正确实现各项系统目标,各项核心业务目标就确定会实现。(2)构建了技术标准体系的形式化目标模型采用目标中介状态提取和形式化目标精化技术,对各项系统目标进行逐层精化,得到完整的技术标准体系形式化目标模型；基于该模型中的叶目标及其承载主体,推得系统内部构成主体及其形式规约,由此确定对应的功能服务类技术标准；同时基于该模型的所有分支目标,推得相关构成主体间的交互行为形式规约,由此确定对应的协同交互类技术标准；最后,基于该模型中的目标精化关系,推得这些技术标准间的贡献关系。(3)完成了技术标准体系的形式化设计对每个功能服务类和协同交互类技术标准,给出了包括形式规约在内的完整描述；从这些技术标准形式规约中提取信息实体变量,由此确定对应的信息表示类技术标准,并给出包括信息实体属性说明在内的完整描述；由技术标准形式规约与信息实体变量的包含关系,推得信息表示类技术标准对其他类型技术标准的贡献关系；基于技术标准间的贡献关系,得到技术标准体系层次结构,并对其进行了完整描述。(4)严格证明了技术标准体系设计的完备性和一致性运用形式推理方法,对本技术标准体系的完备性和一致性给予了严格证明,为后续技术标准体系详细设计提供了坚实基础。同时,归纳并提炼出内容分级服务的各项基础能力,对每项能力分别给出标准支持与标准缺失的形式化描述,并由此得到本技术标准体系和其他已有技术标准体系在基础能力支持抽象层次上的形式化描述,最终推得它们在核心业务目标支撑能力方面的完整评价结果,结果表明,本技术标准体系相对其他已有技术标准体系,能对互联网内容分级服务各项业务目标提供更完整的支撑。本论文受到国家科技支撑计划重点项目《网络文化安全监管系统的体系构架、集成及示范应用》(No.2006BAK11B01)和“十二五”国家科技支撑计划项目(NO.2011BAK08B05)的支持。
【学位授予单位】：华中师范大学
【学位级别】：博士
【学位授予年份】：2015
【分类号】：TP393.4

【参考文献】

中国硕士学位论文全文数据库 前2条

1 巫思滨;互联网不良信息综合治理研究[D];北京邮电大学;2011年

2 罗云;网络信息安全的法律问题研究[D];重庆大学;2011年

，

本文编号：1217112