您的位置： 专家智库 > >

余滨

作品数：3 被引量：7H指数：1
供职机构：贵州大学更多>>
发文基金：贵州省教育厅自然科学研究项目贵州省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

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

领域

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

主题

  • 1篇形式化
  • 1篇移动AGEN...
  • 1篇设计实现
  • 1篇数据加密
  • 1篇数字水印
  • 1篇水印
  • 1篇台下
  • 1篇网络
  • 1篇网络协议
  • 1篇基于移动AG...
  • 1篇加密
  • 1篇分布式
  • 1篇分布式计算
  • 1篇符号模型检验
  • 1篇SMV
  • 1篇传输系统
  • 1篇WEB服务
  • 1篇.NET

机构

  • 3篇贵州大学
  • 1篇贵州财经大学

作者

  • 3篇余滨
  • 2篇李祥
  • 1篇文静华
  • 1篇王巧丽
  • 1篇张梅

传媒

  • 1篇计算机工程
  • 1篇2004年全...

年份

  • 2篇2006
  • 1篇2004
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于移动agent的加密传输系统
为用户提供安全可靠的保密通信是计算机网络安全最为重要的内容。目前采用的方法是使用密码技术实现数据的加密传输，这样在网络中传递的数据是被加密以后生成的密文，从而防止非法用户窃取信息，实现了数据在网络中的安全传递。现代密码体...
余滨
关键词：移动AGENT分布式计算数据加密
文献传递
基于SMV的网络协议形式化分析与验证被引量：7
2006年
提出了采用模型检验方法对网络协议进行形式化分析及自动验证,建立了一个特定网络协议PAR的有限状态机模型,并用模型检验工具SMV验证其正确性,发现了该协议存在的一些缺陷。结果表明,利用符号模型检验方法分析检验网络协议是可行的。
文静华余滨张梅李祥
关键词：网络协议符号模型检验
.NET平台下数字水印Web服务的设计实现
本文介绍了在.NET平台下用C＃语言实现向24位图中嵌入相同格式的水印文件，类似地可以对声音、文本等其他多媒体文件进行基于Web服务的水印嵌入和提取。数字水印 Web服务的实现，解决了在Web服务中多媒体文件的处理问题，...
王巧丽余滨李祥
关键词：数字水印WEB服务
文献传递
全选 清除 导出
共1页<1>
聚类工具0