逻辑描述语言相关论文
计算机技术中软硬件技术的快速发展促使用户对各类软件的功能和性能提出更高期望和要求，软件成本也随之不断升高。网络覆盖地域范围......
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失......
