论文部分内容阅读
建立典型的蠕虫扩散自动机模型,运用确定的有限状态自动机理论对蠕虫扩散行为进行形式化描述,并且论证其正确性。本文提出一种扩散描述语言,解决扩散自动机的形式描述、本质特征和执行过程问题。为研究蠕虫扩散行为提供一种更为直观的形式化手段。
面向描述语言的蠕虫扩散过程形式化研究
【摘 要】
：
建立典型的蠕虫扩散自动机模型,运用确定的有限状态自动机理论对蠕虫扩散行为进行形式化描述,并且论证其正确性。本文提出一种扩散描述语言,解决扩散自动机的形式描述、本质特征和执行过程问题。为研究蠕虫扩散行为提供一种更为直观的形式化手段。
【机 构】
：
安阳工学院计算机工程系,河南,455000;安庆师范学院图书馆,安徽,246003
【出 处】
：
网络安全技术与应用
【发表日期】
：
2008年10期
其他文献
可信计算成为信息安全领域的一个热点研究方向,由于不同可信平台模块中使用的密码算法不同,导致了可信计算平台的异构。本文简要介绍了可信计算平台,提出了利用可信计算软件栈实现异构可信平台在应用上的兼容,同时主要研究了支持异构可信平台的可信计算软件栈。
久坐不动的上班族、经常开车的司机,都有患腰部疾病的风险。那么,有没有一些“小动作”就能拯救我们的腰腹呢?下面给大家介绍一些腰腹保健的“小动作”。拉伸腰是人体躯干比
我这个人从小身体一向很好，医院的大门对我来说似乎是挺遥远的地方，就连感冒也很少患过，亲朋好友都说我棒得像头牛。 三十岁的时候，我从来就没将感冒当回事，偶尔得一次感冒，我自恃身体好，扛上那么两三天，也就好了。以前好几年才有那么一次的感冒现在每年都要光顾我一两次，我还是那么硬扛着来对付感冒，可却觉得越来越力不从心。 这不，我又感冒了，开始只是觉得喉咙有点不舒服，喷嚏一个接着一个，头也有点晕
期刊
本文阐述了基于DCOM三层分布式客户/服务器结构的ERP系统模型及其技术构架,并简要的介绍了ZG-ERP系统每一层的功能实现.重点讨论了如何构建基于组件的应用服务器.
本文介绍了目前在路由器上存在的几种带宽分配的不公平性问题,阐述了在路由器上如何避免这种不公平性,并对核心无状态公平队列调度(CSFQ)算法进行详尽分析,指出了CSFQ算法的问题并总结了目前的解决方法以达到带宽分配的尽可能公平。
大家都知道跑完步后，不要急于坐下休息，踢踢腿，使肌肉充分放松。但是对于心脑血管病人来说，要踢打小腿肚更能保健康，你知道吗？ 南京军区福州总医院心血管内科副主任医师曹小织说，小腿肚是“人体的第二心脏”，据测定，双侧小腿肌肉每次收缩时挤压出的血量大致相当于心脏的每搏排血量。因此，老年人尤其是心脑血管病人，平时踢踢小腿肚，使肌肉充分放松，可迫使腿部静脉血管的血液回淌速度加快，平衡心脏血液的回流能力，大
期刊