论文部分内容阅读
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.
基于层次时间自动机的动态行为取证建模方法
【摘 要】
：
提出一种新的动态行为取证层次化模型.首先介绍层次时间自动机的概念,接着详细阐述动态行为的层次时间自动机形式化模型及其组合模型,然后分析组合模型中可能存在的非法行为.
【机 构】
：
南京邮电大学计算机学院,江苏省无线传感网高技术研究重点实验室,宽带无线通信与传感网技术教育部重点实验室
【出 处】
：
微电子学与计算机
【发表日期】
：
2012年11期
【基金项目】
：
江苏省高校自然科学研究计划项目（09KJD520007）, 江苏高校优势学科建设工程项目（yx002001）, 南京邮电大学引进人才计划（NY208007）
其他文献
为了能够有效避免搜索过程陷入局部最优，从而增强全局搜索能力，提出一种基于模拟退火的粒子群算法．算法中引入遗传算法中常用的轮盘赌选择算子，能在早期抑制部分超级粒子对种群的
经过对最大熵模型的研究,找到一种适合汉语拼音标注的最大熵模型算法.利用该算法解决了多音字单字成词的情况,从而使得所有包含多音字的词都是两字或多字词.使用该算法随机抽
采用TSMC0．18ttm1P6MRFCMOS工艺，完成了一种基于开关电容阵列的全集成LC压控振荡器的设计．版图后仿真结果表明，在1．8V电源电压下，电路核心功耗约为7．2mw，中心振荡频率为5．8GHz，在偏离中
摘要：随着人民生活水平的提高，对生活居所的环境品质和安全提出了更高的要求，对家居环境温湿度的监测以及对瓦斯浓度、光强的监测对人们的生活和安全有及其重要的作用，本文研究了基于NRF905的分散节点的多点传输无线监测系统，较为详细地介绍了该系统的组成结构、工作原理、硬件构成、软件设计和测试结果。本系统试验运行良好可靠性高，且非常方便进行节点数扩展，具有较好的推广应用前景。 关键词：NRF905；智能
摘要：本文分析了计算机的常见硬件故障及原因，并针对其常见故障及原因给出了计算机硬件中的显示器、键盘、鼠标、CPU、硬盘和内存的比较简单适用的维护与管理方法。仅供广大计算机用户参考。 关键词：计算机；硬件；维护 中图分类号：TP399 文献标识码：A 文章编号：1674-7712 (2012) 10-0091-01 近年来，随着科学技术的发展和人们生活的不断改善，计算机不仅成了各行各业普通
PCR技术自诞生以来,以其快捷、特异性好、灵敏度高的特点,在检验界得到广泛的应用;同时,为了获得较好的扩增效果,科研人员不断地对技术进行改进.从常规扩增到引入套式、槽式
以上海市4000辆出租车为期两年的GPS数据为依托，设计仅存在于理论意义上的车载网络路由最优算法并对其进行仿真．一方面，最优路由算法的结果揭示了现有路由算法的不足；另一方面，根