一种安全协议自动化分析方法

提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析,克服了冗长的理论推导,使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现,并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证,证明了该自动化分析方法的简洁性和有效性。

认证测试方法的扩展及其应用

基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.

基于规则的网页处理方法在移动办公的应用

基于规则的网页处理方法是将企业网站适配到移动办公应用的一种方法。从代理服务器获取网页,对网页进行规范化处理;然后根据规则优先级对规范化的网页逐条应用规则,对网页做净化处理或组织结构调整;最后,将处理好的网页返回给代理服务器,由代理服务器将网页推送到移动终端。这种基于规则的方法可以用模块化的方式处理网页,使该方法具有通用性,可以通过改变或加入部分规则适用于不同的企业网站。

移动警务在公安信息网中的应用

移动警务在公安信息网的交通指挥、刑侦破案、安全保卫、社区管理等工作中的应用日益广泛。本文结合公安工作实际,浅述了移动警务的建设背景、总体架构、系统功能等,提出了在实际执法办案应用中出现的问题及解决办法,并结合公安网络安全现状进一步阐述了移动警务的发展方向。

大数据检测在公安信息安全中的应用

为进一步加强公安网终端行为的管控,运用新的安全防护理念,将各传统防护设备和系统统一起来,运用大数据分析技术,结合安全事件数字模型,从中发现数据盗取的行为。通过事前警告、事中禁止、事后取证、违规处置等技术,建立并完善公安信息网安全管理技术体系和工作机制。

日志审计平台在公安信息网中的应用

为有效解决公安信息网数据盗取、越权访问等造成公安敏感信息泄露、公民隐私被侵犯的问题,减少威胁公安信息网的安全隐患,分析了公安信息化向"大整合、高共享、深应用"快速发展的现状,对公安信息资源与公民日常生活的关联度不断增加的现状进行调查研究。提出了公安信息网日志安全审计平台建设思想,分析了公安信息网日志审计平台的建设目标,总体规划、系统部署和系统优越性。通过分权管控、广泛收集和集中审计从安全技术手段上加强对公安信息资源的保护。

警用地理信息系统的应用研究

建设警用地理信息系统(PGIS),是适应公安实战工作需要,实现信息化应用与可视化展现有机融合的必然需求,进而为日常警务、指挥调度、情报信息应用提供直观的可视化展现。文中提出了警用地理信息系统的建设方法,可以为公安各业务部门地理信息应用提供统一的基础数据服务,为公安相关工作提供"整体防控、精确指导、精确打击"的技术保障。