您的位置： 专家智库 > >

崔霞

作品数：2 被引量：0H指数：0
供职机构：新乡师范高等专科学校计算机科学系更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 1篇形式化
  • 1篇形式化方法
  • 1篇硬件
  • 1篇硬件设计
  • 1篇SERVIC...
  • 1篇WEB
  • 1篇WEB_SE...
  • 1篇BDD
  • 1篇CTL

机构

  • 2篇新乡师范高等...
  • 1篇郑州升达经贸...

作者

  • 2篇苗长芬
  • 2篇崔霞
  • 1篇冯伟华

传媒

  • 1篇新乡师范高等...
  • 1篇新乡教育学院...

年份

  • 2篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于Web Services的安全数字水印技术研究
2005年
设计了一种基于Web Services的安全数字水印方法,将水印嵌入和水印检测技术作为Web Services组件发布到Internet上,运用数字证书、数字签名和加密技术,保证了信息交互的安全性,在开放网络环境中有效地保护了数字产品.
苗长芬崔霞冯伟华
关键词：WEBSERVICES
硬件设计中的形式化方法
2005年
形式化方法是一种用于规范、设计和验证计算机系统的基于数学的方法,包括各种语言、技术和工具等。近几年来,形式化方法在硬件设计中的引入,使得模型检验方法日趋成熟。本文主要介绍了硬件设计中的模型检验这种形式化方法,及该方法的应用情况。
崔霞苗长芬
关键词：形式化方法CTLBDD
全选 清除 导出
共1页<1>
聚类工具0