一种软件加密模型的形式化描述
软件加密技术是软件版权保护的有效手段之一.但以往这方面的研究和公开的文献大多数是从某种具体技术的实现上着手的,缺乏系统的观念和理论的指导。鉴于此,论文在简要地介绍了加密软件的特点后,结合有穷自动机理论,提出了一种基于FA的软件加密模型,试图从系统和理论的角度阐释软件加密原理。
用户评论
推荐下载
-
软件加密锁
利用rom芯片写入密码,在PC机上读出。Softg6.c是PC程序,SDOG4.C是固化在加密锁内的源程序.
30 2018-12-25 -
论文研究一种基于虚拟组织的网格安全协议形式化验证方法.pdf
根据生灭过程的基本原理,从处理排队系统中特定的事件出发,设计并实现了一个基于事件驱动的排队系统仿真器。该仿真器能根据特定的系统配置,对实际数据进行分析和对特定过程进行模拟。仿真器包含的开发接口支持其模
28 2020-05-27 -
论文研究一种适于带时间戳安全协议的形式化分析方法.pdf
提出了一种适用于带有时间戳的安全协议的有色Petri(CPN)形式化分析方法,利用一个非自动时钟来描述协议中涉及的时间因素。对著名的WMF协议建模,利用CPNTools,采用CPNML语言编写查询函数
39 2020-01-04 -
软件形式化验证课程课件
清华大学软件学院研究生课程回忆贺飞老师的课程,理论结合实际,研究了NuSMV的工具和语言的运用。不错的课程,对软件形式化的讲解还是很好地。资源包括LogicinComputerScienceModel
31 2019-05-23 -
Petri网原理形式化建模方法
是一种形式化建模方法。常用来构建系统。其他的还有流程图的方式等
15 2020-05-18 -
安全协议形式化研究与实现
硕士论文,研究通信安全协议方面的,对形式化的研究与实现
21 2019-07-29 -
电信协议工程与形式化方法
Telecommunications protocol engineering and formal methods
28 2019-06-26 -
形式化方法书fsuz02
形式化方法用书FSUZ_Lightfoot_02
35 2019-07-24 -
第4章形式化说明技术
第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 习题
4 2021-04-23 -
形式化方法书fsuz01
形式化方法用书 FSUZ_Lightfoot_01
32 2018-12-26
暂无评论