您的位置： 专家智库 > >

王巧丽

作品数：3 被引量：24H指数：2
供职机构：贵州大学更多>>
发文基金：贵州省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

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

主题

  • 2篇密码
  • 2篇密码协议
  • 2篇PROMEL...
  • 2篇SPIN
  • 1篇语言建模
  • 1篇设计实现
  • 1篇数字水印
  • 1篇水印
  • 1篇台下
  • 1篇仿真
  • 1篇CYGWIN
  • 1篇WEB服务
  • 1篇.NET

机构

  • 3篇贵州大学

作者

  • 3篇王巧丽
  • 2篇李祥
  • 1篇龙士工
  • 1篇余滨

传媒

  • 1篇计算机应用
  • 1篇2004年全...

年份

  • 1篇2006
  • 1篇2005
  • 1篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
SPIN模型检测的研究与应用
软件是否可信赖已成为一个国家的经济、国防等系统能否正常运转的关键因素之一，尤其在一些诸如核反应堆控制、航空航天以及铁路调度等安全悠关/(safety—critical/)领域更是如此。这类系统要求绝对安全可靠，不容半点疏...
王巧丽
关键词：SPINPROMELACYGWIN仿真密码协议
文献传递
密码协议的Promela语言建模及分析被引量：15
2005年
给出了利用SPIN模型检测分析密码协议的一般方法。作为一个实例,对NeedhamSchroeder公钥密码协议用Promela语言建模,并利用SPIN进行了分析验证,发现了其安全漏洞。该方法很容易推广到有多个主体参与的密码协议的分析。
龙士工王巧丽李祥
关键词：密码协议SPINPROMELA
.NET平台下数字水印Web服务的设计实现
本文介绍了在.NET平台下用C＃语言实现向24位图中嵌入相同格式的水印文件，类似地可以对声音、文本等其他多媒体文件进行基于Web服务的水印嵌入和提取。数字水印 Web服务的实现，解决了在Web服务中多媒体文件的处理问题，...
王巧丽余滨李祥
关键词：数字水印WEB服务
文献传递
全选 清除 导出
共1页<1>
聚类工具0