您的位置： 专家智库 > >

陕西省自然科学基金(2003F20)

作品数：18 被引量：105H指数：5
相关作者：房鼎益陈晓江罗养霞安娜何路更多>>
相关机构：西北大学西安财经学院西安电子科技大学更多>>
发文基金：陕西省自然科学基金中国航空科学基金陕西省教育厅产业化培育项目更多>>
相关领域：自动化与计算机技术文化科学天文地球电子电信更多>>

文献类型

  • 18篇期刊文章
  • 4篇会议论文

领域

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

主题

  • 6篇网络
  • 6篇分布式
  • 5篇计算机
  • 4篇分布式计算
  • 3篇分布式系统
  • 2篇电子白板
  • 2篇定位方案
  • 2篇动态图
  • 2篇中件
  • 2篇蠕虫
  • 2篇软件水印
  • 2篇视距
  • 2篇水印
  • 2篇网格
  • 2篇网格计算
  • 2篇网络安全
  • 2篇鲁棒
  • 2篇鲁棒性
  • 2篇教学系统
  • 2篇访问控制

机构

  • 20篇西北大学
  • 2篇西安电子科技...
  • 2篇西安财经学院
  • 2篇中航工业西安...
  • 1篇华东师范大学
  • 1篇九江学院
  • 1篇西安微电子技...
  • 1篇西安石油大学

作者

  • 15篇房鼎益
  • 10篇陈晓江
  • 6篇罗养霞
  • 3篇安娜
  • 3篇何路
  • 2篇冯健
  • 2篇汤战勇
  • 2篇陈峰
  • 2篇吴晓南
  • 2篇余启辉
  • 2篇杨珂
  • 2篇李红艳
  • 1篇程建华
  • 1篇张建中
  • 1篇杨琛
  • 1篇张志刚
  • 1篇王婷
  • 1篇符凯
  • 1篇王义立
  • 1篇焦允

传媒

  • 6篇计算机应用与...
  • 4篇计算机工程
  • 4篇西北大学学报...
  • 2篇微电子学与计...
  • 1篇大连理工大学...
  • 1篇航天制造技术
  • 1篇第三届和谐人...
  • 1篇2005年全...

年份

  • 1篇2009
  • 3篇2008
  • 7篇2007
  • 6篇2006
  • 5篇2005
共 18 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于任务角色访问控制的数据版权管理模型被引量：2
2008年
提出一种基于任务角色访问控制的数据版权管理模型—TR-EDRM(Task-Role Expended Digital Rights Management),并给出模型架构及实现关键技术。模型结合被动和主动访问控制,解决了权限部分继承问题,提高了DRM(Digital Rights Management)系统的安全性、灵活性和透明性。
罗养霞冯健陈晓江何路陈峰房鼎益
关键词：数字版权管理访问控制T-RBAC
一个基于SOA的大型分布式计算机辅助教学系统
传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构（SOA）被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。...
房鼎益安娜魏东符凯张建中
关键词：分布式系统SOACMI
文献传递
一个基于SOA的大型分布式计算机辅助教学系统被引量：38
2005年
传统的面向对象的软件开发方法所开发的应用系统通常与开发工具、宿主平台、操作系统紧密耦合,容易导致和形成所谓的“信息孤岛”。面向服务的体系结构(SOA)被认为是解决分布式环境中软件重用、互操作、提高软件开发效率的有效途径。本文以一个具体的计算机辅助教学管理系统—NWU-CMI为实例,研究了利用Web服务实现基于SOA的大型分布式软件系统的有效方法,同时,深入分析了采用SOA体系结构开发NWU-CMI系统的代码重用、系统结构、服务组装等关键实现技术。
房鼎益安娜魏东符凯张建中
关键词：CMI计算机辅助教学系统软件开发方法分布式软件系统
基于偏序简化的并发系统验证被引量：1
2008年
构件交互风格和交互协议的描述与验证是基于构件的分布式系统开发的基础和关键,而构件交互协议是一种典型的分布式并发系统。传统的方法难以解决系统建模和验证中的所谓的状态爆炸问题。偏序简化是应用迹的概念,对模型进行化简并且对模型进行死锁验证。但这样的验证重点放在了Petri网模型上,而没有涉及进程代数模型,所验证的只是模型是否有死锁状态。而以通信系统演算CCS为代表的进程代数,因其概念简洁,可用的数学工具丰富,在分布式并发系统的规范、分析、设计和验证方面获得了广泛应用。对此,提出将偏序规约应用于进程代数模型,给出基于进程代数模型的偏序简化算法,并提出利用进程代数模型偏序简化算法来验证安全性的方法。
王婷罗养霞房鼎益陈晓江何路
关键词：分布式系统并发系统进程代数安全性
网格计算:现状与进展
归纳、总结了网格计算研究的目标、体系结构、关键技术以及研究进展。分析了网格计算研究存在的主要问题,指出了网格计算研究领域的总体发展趋势和研究方向。
王义立陈晓江冯健何路陈锋房鼎益
关键词：网格计算分布式计算
文献传递
基于SSFNet的蠕虫对抗仿真被引量：1
2007年
通过分析和改进SSFNet网络蠕虫仿真系统,使其适应于良性蠕虫对抗研究。文章所提出的新的蠕虫对抗模型SSIRA是对SIRA模型的简化和改进。通过改变对抗环境,完成了仿真实验,分析了不同条件下蠕虫对抗的效果。结果表明,该蠕虫对抗模型和仿真实验环境是有效的,能够为良性蠕虫对抗研究提供有价值的实验数据以及参考方案。
齐文华罗养霞房鼎益陈晓江
关键词：良性蠕虫
基于门限方案的动态图软件水印算法被引量：11
2009年
针对动态图水印鲁棒性和恢复率较低的问题,提出基于门限方案的动态图水印算法——AB算法。在软件水印中引入密钥共享思想,实验结果证明,该算法能有效弥补CT算法的缺陷,阻止攻击者通过透彻分析运行时的堆栈获取原始水印。
罗养霞马君张志刚房鼎益
关键词：软件水印动态图水印鲁棒性
一种自适应的自组织网络定位方案被引量：1
2006年
提出了一种自适应的自组织网络定位方案,它适用于节点分布比较集中的自组织网络,能有效解决复杂地形环境下的应用问题。该方案采用到达时间(TOA)测量值作为参数,结合非视距误差消除技术,并根据定位的QoS和网络的拓扑变化情况自适应地调整定位参数。仿真表明,它能提高定位精度和可定位性能,改善网络适应性。
余启辉李红艳
关键词：自组织网络非视距
基于多常量编码的动态图软件水印保护技术被引量：3
2008年
动态图软件水印在抗攻击性方面较通常的静态水印有明显的优势,然而由于这类水印信息本身与宿主程序的功能性之间并无关联,所以攻击者可以找到水印结构并对其进行恶意破坏,从而使水印提取过程失败。为此,提出了一种通过建立多常量与水印的依赖关系来对动态图水印进行保护的方法,并设计了针对Radix、PPCT、IPPCT结构动态图水印的保护算法。该算法通过创建动态图水印与宿主程序中多常量的依赖关系,对水印起到了防篡改的保护作用,从而可对该类水印进行有效的保护。最后通过数据率、鲁棒性两个方面对此算法进行了评测。结论是:基于IPPCT结构的算法不但过载较小,而且具有较高的数据率,还可以防止共谋攻击,是一种相对较好的水印保护算法。
朱江涛程建华罗养霞房鼎益
关键词：动态图软件水印鲁棒性
基于神经网络的程序异常监测
2005年
针对传统入侵检测系统的不足,研究了基于反向传播神经网络的程序异常检测方法,提出了一个改进的利用多层前馈网络的预测功能和异常区域判定方法检测系统异常的算法.详细讨论了算法的基本原理、数学基础、设计和实现方法.通过实验,分析算法的优缺点,验证了算法的可行性和有效性.
安娜杨珂王丽苹房鼎益
关键词：网络安全反向传播神经网络
全选 清除 导出
共3页<123>
聚类工具0