您的位置: 专家智库 > >

浙江省制造业信息化工程重大科技攻关项目(2003C11010)

作品数:2 被引量:10H指数:2
相关作者:余志伟唐任仲贾东浇更多>>
相关机构:浙江大学更多>>
发文基金:浙江省制造业信息化工程重大科技攻关项目国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术经济管理更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇经济管理

主题

  • 2篇信息系统
  • 1篇形式化
  • 1篇形式化方法
  • 1篇安全需求
  • 1篇安全约束

机构

  • 2篇浙江大学

作者

  • 2篇唐任仲
  • 2篇余志伟
  • 1篇贾东浇

传媒

  • 1篇中国机械工程
  • 1篇浙江大学学报...

年份

  • 2篇2007
2 条 记 录,以下是 1-2
排序方式:
一种基于业务过程的信息系统安全需求分析方法被引量:5
2007年
为了识别信息系统安全需求,提出一种基于业务过程的信息系统安全需求分析方法。以业务过程安全为中心和目标,通过安全树模型,识别影响业务过程安全的关联资产。应用风险包和风险传递模型技术识别资产安全需求。通过覆盖分析,形成信息系统安全需求列表。最后通过案例简要介绍了该方法的应用。
余志伟唐任仲贾东浇叶范波
关键词:信息系统安全需求
面向业务活动的信息系统安全模型被引量:5
2007年
为了弥补现有的安全模型在描述信息系统方面的不足,提出一种信息系统安全模型,以保护业务活动为出发点,从安全角度对信息系统进行描述.通过分析信息系统及其安全的本质特征,给出了信息系统安全模型的基本要素及其相互关系之间的操作关系和"需要"、"允许"、"能"的安全约束,并通过形式化方法对安全模型基本要素之间的关系进行了描述.该模型不仅反映了信息系统资产之间的安全关系,还反映了信息系统支持业务活动的本质,明确了信息系统资产对业务活动支持的相互关系.最后给出了一个制造企业信息系统安全模型实例.
余志伟唐任仲
关键词:信息系统安全约束形式化方法
共1页<1>
聚类工具0