基于Petri网的非演绎安全模型的分析与验证

就刻画安全的本质而言,基于非演绎信息流安全模型较之与基于访问控制的安全模型更为确切。文章在基于迹语义对非演绎信息流安全模型进行分析的基础上,给出了基于扩展Petri网的非演绎模型的形式化描述,进一步基于Petri网的形式化描述给出非演绎模型的验证算法且开发相应的验证工具,最后通过实例说明该算法的正确性和验证工具的方便适用性。     

21世纪初东北亚安全形势与中蒙合作

21世纪初东北亚安全形势日益复杂严峻,大国利益的冲突、社会制度和意识形态的差异以及领土争端与历史积怨的难以化解,使得这一地区相关国家之间相互猜忌,难以构建战略互信。缺乏多边安全合作机制的东北亚成为世界瞩目的焦点。中蒙两国作为东北亚地区的重要国家,共同维护本地区的和平与稳定符合两国根本利益。两国关系恢复正常化以来在各领域展开了卓有成效的双边合作,同时两国也在积极地参与推动与本地区相关国家的三边、多边合作。中蒙两国双边合作关系的不断深入发展对东北亚地区多边安全合作机制的建设起着积极地推动作用。     

论边疆安全如何成为积极价值——基于“安全化/非安全化”框架的分析

安全化(securitization)和非安全化(desecuritization)是国际安全研究中备受关注的理论框架之一,也是哥本哈根学派安全理论所创设的一组核心概念。哥本哈根学派认为安全化是消极的,非安全化是积极的,因而在安全维护的途径与方法上偏向于倡导非安全化手段。文章通过对近年来我国边疆地区相关事件的实证考察,应用安全化和非安全化的理论框架分析其进程,批判了哥本哈根学派这一框架的局限性,认为判断安全化和非安全化何种途径更为有效需结合具体的语境和实践,并提出我国边疆安全治理的思路:超越安全化分析框架中的积极价值和消极价值之争,重点抓住安全建构的过程以及环境语境,聚焦于对安全"指涉对象"的探讨——即边疆安全保护的是谁的安全,以及通过何种途径实现这一安全。文章认为,"积极安全条件"、"人的安全"、"社会安全"的理念为建构边疆地区持久的安全条件和健康稳固的安全环境提供了新的视角。     

人口老龄化与银色保障体系的建设

全球性的“银色世纪”已经到来，我们应积极面对，尽快建立起适合我国特点的银色保障体系。本具体分析了我国社会养老社会保障的困境及相关理论，提出了相应的银色保障体系的建设思路。     

基于网络安全的动态防护体系的研究与实现

本文针对目前网络安全的隐患提出了动态防护体系研究的重要性和可行性，在对其技术核心和防护原理进行详细分析的基础上，与当前常见的安全防护技术做了比较，阐明了其优点。最后，对动态防护技术的研究现状、现有成果和应用前景进行了分析和探讨。     

我国社会保障资金筹集中存在的问题与对策

阐述社会保障资金的筹集作为社会保障制度的首要环节,还存在着以下五大问题:社会保险覆盖面小;基金收缴难;社会保险费税务征收效率低下;社会保障财政风险不断加大;社会保障结余资金投资低效运营管理。针对上述问题提出相应的对策。     

电子商务的安全框架

介绍了电子商务应用中的安全需求，给出了基于RBAC的电子商务应用传输安全和存取控制授权框架，保证了电子商务的安全需求。     

经济大危机对美国建立老年人保障制度的作用

1929年爆发的经济危机对整个资本主义世界来讲是重大转折的开端，它对所有国家的经济、政治、社会生活产生了巨大的影响，在社会保障的历史上也同样具有重要意义。本文仅从危机过程中．美国有关老年人口的保障制度产生、发展及逐步的完善来进行简单分析，以求对老年人保障制度作初步探讨。     

试论高校保卫工作在构建和谐校园中的作用

维护校园安全稳定是构建和谐校园的基础。高校保卫部门在构建和谐校园过程中具有义不容辞的责任,必须始终把维护校园的安全稳定作为首要任务来抓,充分发挥职能作用,积极为广大师生员工创造一个安全、稳定、温馨、和谐的校园环境、治安环境、法治环境与学习、工作和生活环境等内部环境,保证和促进高等教育事业健康快速发展。     

Improved Feistel-based ciphers for wireless sensor network security

Wireless sensor networks （WSNs） are exposed to a variety of attacks. The quality and complexity of attacks are rising day by day. The proposed work aims at showing how the complexity of modern attacks is growing accordingly, leading to a similar rise in methods of resistance. Limitations in computational and battery power in sensor nodes are constraints on the diversity of security mechanisms. We must apply only suitable mechanisms to WSN where our approach was motivated by the application of an improved Feistel scheme. The modified accelerated-cipher design uses data-dependent permutations, and can be used for fast hardware, firmware, software and WSN encryption systems. The approach presented showed that ciphers using this approach are less likely to suffer intrusion of differential cryptanalysis than currently used popular WSN ciphers like DES, Camellia and so on.