您的位置： 专家智库 > >

陈峰

作品数：21 被引量：84H指数：5
供职机构：西北大学信息科学与技术学院更多>>
发文基金：国家自然科学基金陕西省自然科学基金陕西省教育厅自然科学基金更多>>
相关领域：自动化与计算机技术文化科学电子电信天文地球更多>>

合作作者

文献类型

  • 21篇中文期刊文章

领域

  • 20篇自动化与计算...
  • 1篇天文地球
  • 1篇电子电信
  • 1篇文化科学

主题

  • 2篇形式化
  • 2篇形式化建模
  • 2篇一致性
  • 2篇有限自动机
  • 2篇智能手机
  • 2篇手机
  • 2篇数据流
  • 2篇确定有限自动...
  • 2篇自动机
  • 2篇网络
  • 2篇污点分析
  • 2篇架构
  • 2篇访问控制
  • 2篇处理器
  • 1篇代码
  • 1篇低能耗
  • 1篇电子白板
  • 1篇顶级
  • 1篇动态时间归整
  • 1篇多核

机构

  • 21篇西北大学
  • 4篇中国劳动关系...
  • 3篇西北工业大学
  • 2篇池州学院
  • 2篇西安财经学院
  • 2篇中国科学院软...
  • 1篇西安交通大学
  • 1篇西安电子科技...

作者

  • 21篇陈峰
  • 12篇陈晓江
  • 10篇房鼎益
  • 5篇陈昊
  • 4篇吕正
  • 4篇龚晓庆
  • 3篇汤战勇
  • 3篇李伟华
  • 3篇何路
  • 3篇罗养霞
  • 2篇殷晓玲
  • 2篇吕毅
  • 2篇夏启寿
  • 2篇彭瑶
  • 1篇冯健
  • 1篇王举
  • 1篇王海
  • 1篇高岭
  • 1篇杨晓
  • 1篇符凯

传媒

  • 5篇西北大学学报...
  • 2篇计算机研究与...
  • 2篇计算机工程
  • 2篇计算机应用与...
  • 2篇西安交通大学...
  • 2篇计算机工程与...
  • 1篇通信学报
  • 1篇北京邮电大学...
  • 1篇陕西师范大学...
  • 1篇计算机科学
  • 1篇长安大学学报...
  • 1篇工程科学与技...

年份

  • 3篇2019
  • 1篇2018
  • 3篇2017
  • 2篇2013
  • 2篇2012
  • 2篇2011
  • 2篇2010
  • 1篇2009
  • 3篇2008
  • 1篇2007
  • 1篇2004
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
智能移动终端白板交互系统的研究与设计被引量：2
2008年
通过将计算机协同工作CSCW与嵌入式开发相结合,对智能移动终端设备环境下多用户电子白板模型进行了研究、设计和实现。从系统设计、并发控制和图形交互等方面对移动电子白板mWB(mobile Whiteboard)设计技术与实现要点进行详细讨论,并给出了实验分析。所提出的模型系统,使移动终端用户可以方便地进行图形交互和协同工作,初步实验证明该系统有效可行。
陈晓江马东海陈峰房鼎益
关键词：智能移动终端电子白板群件并发控制
模型检测MESIF Cache一致性协议被引量：1
2010年
在处理器从单核向多核演进的过程中,为了获得更好的性能和可扩展性,适用于多核处理器系统的Cache一致性协议变得越来越复杂。Cache一致性协议的验证一直是模型检测在工业界主要应用之一,被工业界和学术界关注。相对传统方法而言,微结构级的模型检测能够描述和验证更多的协议细节。利用NuSMV工具对Intel公司的MESIF Cache一致性协议进行模型检测在微结构层次上进行了建模,并对该协议进行模型检测,试验结果证明了此方法的有效性。
吕正陈昊陈峰吕毅
关键词：CACHE一致性协议
基于可执行代码的反污点分析方法研究被引量：2
2017年
针对污点分析方法导致程序数据流泄密的问题,提出了一种基于可执行代码的反污点分析方案。通过开发过程中植入标记或保护过程中输入关键代码地址两种方式实现对关键代码的定位。设计了去污点的反污点分析保护方法,用于保护程序中的敏感数据,提高程序的抵抗污点分析能力。同时,为了满足保护方法的多样性,分别针对数值替代、数值匹配和栈操作设计了3种不同的反污点分析保护方法。实验结果表明,提出的方法可以有效的增强反污点分析能力且不会造成较大的性能损耗。
龚晓庆周祥汤战勇房鼎益彭瑶陈峰
关键词：污点分析
基于数字权限管理的访问控制模型研究被引量：1
2008年
以现代企业应用需求为背景,提出一种基于任务角色访问控制的数字权限管理模型(Task-role expended digital rights management,TR-EDRM).该模型建立在任务分类的基础上,采用"任务"和"角色"相结合的思想,解决了权限部分继承问题,适用于既存在工作流又存在非工作流的企业环境,提高了企业数字内容管理的安全性、灵活性和透明性.
陈晓江罗养霞房鼎益陈峰何路冯建
关键词：数字权限管理访问控制工作流
MOTEC:一个存储一致性模型验证工具被引量：1
2012年
由于缺乏可利用的额外观察条件,在芯片流片后阶段进行存储一致性模型验证较困难。为此,利用多核处理器系统中通用的性能计数器,通过定期扫描性能计数器以获得关键活动访存指令集合的信息,实现MOTEC工具。该工具由MOTEC随机指令发生模块、多核处理器性能计数器记录模块和MOTEC分析模块3个部分组成。对其核心算法的分析结果表明,MOTEC的时间复杂度仅为O(p 3n),在目前流片后阶段进行验证的工具中时间复杂度最低。
吕正陈昊陈峰吕毅
关键词：多核处理器存储一致性模型
基于任务角色访问控制的数据版权管理模型被引量：2
2008年
提出一种基于任务角色访问控制的数据版权管理模型—TR-EDRM(Task-Role Expended Digital Rights Management),并给出模型架构及实现关键技术。模型结合被动和主动访问控制,解决了权限部分继承问题,提高了DRM(Digital Rights Management)系统的安全性、灵活性和透明性。
罗养霞冯健陈晓江何路陈峰房鼎益
关键词：数字版权管理访问控制T-RBAC
基于DSM的软件架构重构工具
2010年
目的探索目前软件架构重构过程中,模块之间依赖关系解析的有效方法和工具。方法将设计结构矩阵分析方法和包模式识别相结合,通过实例分析表明了该工具可以有效识别系统架构信息并发现违背设计规则的依赖关系。结果设计并实现了一个软件架构重构工具ArTDsm。结论极大地改进了软件架构重构的自动化程度和易用性。
陈晓江符凯房鼎益何路陈峰汤战勇
关键词：软件架构逆向工程
校园网环境中多机房管理系统的实现研究被引量：12
2004年
在分析讨论基于校园网环境中使用IC卡的开放式多机房管理系统的基础上,深入探讨了跨网段环境下多个开放式机房的统一管理问题及解决办法,主要包括IC卡读写过程、安全性管理、数据库设计与一致性,以及帐务的统一管理等。
陈峰高岭
关键词：IC卡校园网环境
采用模型检测器的软件安全模型验证方法被引量：3
2011年
针对软件开发过程中安全性分析与设计不足的问题,在研究现有软件安全性建模及形式化验证技术的基础上,提出了一种适用于面向对象的软件安全性建模与验证方法.建立软件安全属性的非形式化UML模型,采用安全扩展有限自动机创建其形式化模型,并使用线性时序逻辑描述安全属性,将形式化模型与安全属性共同作为模型检测器的输入,得到模型是否满足性质的验证结果,从而实现了软件安全设计与验证技术的有机结合.实验结果表明,该方法能够在软件设计初期对所涉及的安全性进行有效分析与验证.
陈峰李伟华陈昊吕正
关键词：确定有限自动机形式化建模
基于线性时序逻辑的业务流程验证被引量：2
2012年
目的为了解决业务流程设计与需求的不一致性问题。方法提出了一种基于XML过程定义语言和线性时序逻辑的业务流程验证方法。结果采用Promela语言描述业务流程模型,线性时序逻辑表示抽象的业务需求,通过模型检测器Spin完成流程的验证工作。结论实现了对流程正确性的判断。
丁明鱼滨陈峰郝克刚
关键词：线性时序逻辑
全选 清除 导出
共3页<123>
聚类工具0