咨询与建议
  • 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 数据库导航
  • 超星发现
高级检索

限定检索结果

文献类型

  • 2 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 2 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 网络空间安全

主题

  • 3 篇 uml安全扩展
  • 1 篇 parlay api
  • 1 篇 安全框架
  • 1 篇 开放业务体系
  • 1 篇 本体
  • 1 篇 安全
  • 1 篇 入侵检测
  • 1 篇 模型驱动架构
  • 1 篇 确定有限自动机
  • 1 篇 形式化建模
  • 1 篇 软件安全分析
  • 1 篇 ngn
  • 1 篇 描述逻辑
  • 1 篇 安全分析
  • 1 篇 访问控制

机构

  • 2 篇 西北工业大学
  • 2 篇 西北大学
  • 1 篇 北京邮电大学

作者

  • 2 篇 陈峰
  • 2 篇 李伟华
  • 2 篇 li wei-hua
  • 2 篇 chen feng
  • 1 篇 chen xiao-jiang
  • 1 篇 房鼎益
  • 1 篇 fang ding-yi
  • 1 篇 彭晋
  • 1 篇 陈晓江

语言

  • 3 篇 中文
检索条件"主题词=UML安全扩展"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
软件安全分析的有穷自动机模型
收藏
分享
引用
西北大学学报（自然科学版） 2011年 第1期41卷 22-26页
作者： 陈峰 李伟华 西北工业大学计算机学院 陕西西安710072 西北大学信息科学与技术学院 陕西西安710069
目的为在软件设计与开发早期阶段对软件安全模型进行有效分析和验证。方法软件安全分析验证法与形式化建模方法。结果提出了一种安全扩展确定有限自动机(safety extended deterministic finite automata,SEDFA)。在使用umlsec建立软件... 详细信息
来源： 评论
集成安全分析的模型驱动软件开发方法研究
收藏
分享
引用
计算机科学 2009年 第11期36卷 165-168页
作者： 陈峰 李伟华 房鼎益 陈晓江 西北工业大学计算机学院 西安710072 西北大学 西安710069
提出了一种集成安全分析的软件设计与开发新方法,该方法以MDA为基础框架,使用umlsec建立软件安全属性的平台无关模型,使得在软件设计的早期就能够囊括更多的安全需求,从而降低后期开发的风险与成本,提高软件的复用性。
来源： 评论
NGN开放业务体系安全机制的研究
NGN开放业务体系安全机制的研究
收藏
分享
引用
作者： 彭晋 北京邮电大学
学位级别：博士
下一代网络是以IP技术为核心的，可以同时支持语音、数据和多媒体业务的，开放的，融合的网络。其发展趋势从技术驱动向业务驱动的方向演进。NGN中开放的业务体系架构及多种业务参与的环境与网络传输的IP化、网络控制的软件化之间在网... 详细信息
来源： 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件