基于DMD的通用安全信息系统开发研究

提出了一种基于DMD的信息系统开发模型,描述了基于该模型的信息系统设计原则、开发流程和体系结构,并通过实例说明了DMD的功能和应用,最后介绍了系统的安全策略和特点。应用该模型开发的系统后期维护灵活方便,可扩展性强,具有较强的实用性。     

基于有色Petri网的移动IP注册过程安全性分析

在分析移动IP注册工作机制及安全威胁的基础上,分别建立了基于有色Petri网的移动IP注册模型和攻击模型,通过推理验证了攻击的可达性,最后给出了相应的防护方法。     

高技术条件下联合登陆作战物资保障探要

物资保障制约着登陆作战行动。我军登陆作战物资保障的主要问题是:储备种类、数量不合理;装、运、卸设备落后;港、场、站及保障基地容量小,设施简陋;保障方式方法滞后等。因此,为满足高技术联合登陆作战物资快速保障的需要,必须从以下几个方面着手,提高物资保障能力:超前预置储备物资;加强物资运输工具的研制;建立可靠有效的物资保障系统;抓好登陆作战物资保障方法的研练。