论文部分内容阅读
无线通信不受地理位置和空间限制,使用便利,灵活高效。但因其天然的开放性特点,无线网络较有线网络更易受到病毒和恶意程序的攻击,从而面临更为严重的安全威胁。对无线网络安全态势的模拟和分析是提升其威胁防御能力的关键因素。引入概率元胞自动机对无线环境下恶意程序的传播过程进行建模,给出节点行为的形式化表述,通过迭代模拟算法对属性断言的满足情况进行验证,仿真结果表明该方法有望为无线网络安全态势分析及事件响应提供有效的决策支撑。
Wireless communication is not limited by geographical location and space, easy to use, flexible and efficient. However, due to its natural open nature, wireless networks are more vulnerable to viruses and malicious programs than wired networks, posing a more serious security threat. Simulation and analysis of the security posture of wireless networks is a key factor in enhancing their threat prevention capability. Probabilistic cellular automata are used to model the propagation of malicious programs in wireless environment. The formal expressions of node behaviors are given and the satisfaction of attribute assertions is verified by iterative simulation algorithm. The simulation results show that the proposed method is promising for wireless networks Safety situation analysis and incident response to provide effective decision support.