基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
软件加密技术是软件版权保护的有效手段之一,但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念和理论的指导.鉴于此,论文在简要地介绍了加密软件的特点后,结合有穷自动机理论,提出了一种基于FA的软件加密模型,试图从系统和理论的角度阐释软件加密原理.
推荐文章
设计模式的一种形式化描述方法
设计模式
形式化描述
XYZ/E
UML
一种Web服务组合形式化模型及验证方法
Pi演算
Web服务
服务组合
组合验证
面向方面软件体系结构编织的形式化描述方法
软件体系结构
面向方面的模型描述
形式化描述
结构编织
Petri 网
基于Pi-演算的Web服务形式化描述模型
Web服务
Web服务组合
形式化描述模型
Pi-演算
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种软件加密模型的形式化描述
来源期刊 计算机工程与应用 学科 工学
关键词 有穷自动机 (关键)"事件" 爆破点 拆分
年,卷(期) 2006,(14) 所属期刊栏目 学术探讨
研究方向 页码范围 82-85
页数 4页 分类号 TP39
字数 4410字 语种 中文
DOI 10.3321/j.issn:1002-8331.2006.14.026
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李清宝 解放军信息工程大学信息工程学院计算机科学与技术系 52 223 7.0 12.0
2 白燕 解放军信息工程大学信息工程学院计算机科学与技术系 10 16 2.0 4.0
3 曾光裕 解放军信息工程大学信息工程学院计算机科学与技术系 17 61 5.0 7.0
4 朱新兵 解放军信息工程大学信息工程学院计算机科学与技术系 2 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
有穷自动机
(关键)"事件"
爆破点
拆分
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
总被引数(次)
390217
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导