咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 4 篇 期刊文献

馆藏范围

  • 4 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 4 篇 工学
    • 2 篇 计算机科学与技术...
    • 1 篇 航空宇航科学与技...
    • 1 篇 网络空间安全
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 4 篇 一致性验证器
  • 3 篇 信任管理
  • 2 篇 信任证
  • 2 篇 策略
  • 1 篇 safety_sysml状态...
  • 1 篇 动态数据检测
  • 1 篇 网络
  • 1 篇 功能测试
  • 1 篇 科学数据网格
  • 1 篇 信任协商
  • 1 篇 自动信任协商
  • 1 篇 协商策略

机构

  • 1 篇 中国电信集团公司...
  • 1 篇 河南大学
  • 1 篇 华东师范大学
  • 1 篇 北京航空航天大学
  • 1 篇 中国航空无线电电...
  • 1 篇 中国科学院计算机...

作者

  • 2 篇 徐浩
  • 1 篇 丁郭欢
  • 1 篇 怀进鹏
  • 1 篇 孙海英
  • 1 篇 王辉
  • 1 篇 阎保平
  • 1 篇 郑依华
  • 1 篇 刘静
  • 1 篇 康介祥
  • 1 篇 张西广
  • 1 篇 张荣清
  • 1 篇 明廷堂
  • 1 篇 李建欣
  • 1 篇 霍俊伟
  • 1 篇 尹伟

语言

  • 4 篇 中文
检索条件"主题词=一致性验证器"
共 4 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
面向航电软件的Safety_SysML一致性验证器设计与实现
收藏
分享
引用
航空工程进展 2023年 第4期14卷 177-188页
作者： 尹伟 王辉 孙海英 丁郭欢 康介祥 刘静 中国航空无线电电子研究所 上海200241 华东师范大学软件工程学院 上海200062
民用飞机航空电子系统的高度综合化导致机载安全关键软件规模的成倍增加,带来航电系统软件需求的来源众多且不一致,航电系统软件各层次需求传递存在二义性等问题,因此,如何确保航电软件的一致性成为系统研发过程中亟待解决的核心问题之... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
网格计算环境中的安全信任协商系统
收藏
分享
引用
北京航空航天大学学报 2006年 第3期32卷 347-351页
作者： 张荣清 李建欣 怀进鹏 北京航空航天大学计算机学院 北京100083
网格技术促进了广域网络环境下的资源共享和协同工作.然而,在网格环境中,服务的提供方和请求方往往位于不同的安全域,如何为位于不同安全区域的陌生主体间动态地建立信任关系成为一项应用难题.基于信任管理基础设施,通过协作主体间信任... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
X-TM：一种基于XML的信任管理框架
收藏
分享
引用
计算机应用研究 2008年 第7期25卷 2167-2170页
作者： 徐浩 张西广 郑依华 阎保平 中国科学院计算机网络信息中心
在分析现有信任管理的基础上,结合科学数据网格项目需求,提出了一种基于XML的信任管理框架X-TM。该框架包含了一种基于XML的统一信任证和策略语言,以及完成验证TrustTicket与一致性验证器的信任管理执行器,其主要创新点为可扩展的策略... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
XTNPL——基于XML的信任协商策略语言
收藏
分享
引用
实验室研究与探索 2009年 第11期28卷 66-70页
作者： 霍俊伟 明廷堂 徐浩 河南大学网络信息中心 河南开封475004 中国电信集团公司网络运行维护事业部NOC 北京100010
在分析现有的基于信任管理和自动信任协商的策略语言基础上,介绍了1种基于XML的信任协商策略语言XTNPL。该语言很好地满足了信任管理和自动信任协商系统对策略语言的需求,尤其支持属性敏感程度和委托深度约束等。还介绍了适合这种语言的... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件