安全协议分析的界——综合模型检查与Strand Spaces(英文)

Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势.     

全球化对国家安全的影响与我国的对策

本文探讨了国家安全概念的演变以及全球化对国家安全的构成要素的影响 ,重点剖析了全球化背景下信息安全的地位和作用的明显提高 ,论述了全球化对军事安全带来的复杂影响 ,以典型案例说明全球化使国家政治和国际政治的界限趋于模糊 ,并简要论述了全球化对国家安全其它因素的影响。结合对中国国家安全影响的分析 ,最后提出了应对全球化的战略思考     

沪深股市证券投资组合的实证研究

1996年5月6日至12月6日,我国股市正处于价值回归阶段,股份的信息含量较高,选择这一区间沪深股市各30只股票作样本数据,是迄今为止进行证券投资组合研究的最佳原始资料。若以均值－方差模型为理论基础、以二次规划为研究工具,在上述样本股范围内沪深股市各打出13组有效资产组合,并能勾画出沪深股市各自的有效边界以及由沪深股市有效边界共同构成的“新有效边界”。在此基础上则可对沪深股市有效边界及“新有效边界、的范围和特点、投资的最佳证券组合的变化及其相应折市场选择策略、有效证券组合的市场表面等问题作更深入的探讨。     

关于我国证券投资人群分类及其行为特征的实证研究

由于广大股民的投资行为与证券市场的经济效能密切相关,因此,深入研究投资的行为特征及其群体分类,对于推动我国证券市场健康发展具有重要的现实意义。而借助于调查取样、统计分析等实证方法对此进行研究,其结论将更具说服力。通过对上海股民随机抽样及问卷分析可知,我国证券投资的行为特征差异可以从果断冒险、轻松乐观、理智冷静、犹豫依赖与耐心谨慎这五个因素进行分析;投资人群可分为冷静保守型、冒险型与乐观保守型三类。     

我国就业压力的成因及其解决对策

目前,我国存在着较为严重的失业现象,解决就业问题对维护社会稳定,促进经济发展,全面建设小康社会具有重要的意义。在深入分析我国就业压力成因的基础上,提出政府在解决国民就业问题上应采取的积极调控措施。     

大学生完美主义、人际容纳与安全感的关系研究

为探究完美主义与人际容纳对大学生安全感的影响,以720名大学生为测试对象,采用大学生完美主义量表、大学生人际容纳量表和安全感量表进行问卷调查.结果表明,大学生完美主义与人际容纳呈显著正相关,与安全感呈显著负相关;人际容纳与安全感呈显著正相关.经回归分析发现,完美主义和人际容纳对安全感具有显著预测作用,完美主义不仅直接影...     

季节性农民工的社会保障问题探讨

农民工是当前我国城市社会中一个重要的劳动群体,但他们却几乎被完全排斥在了社会保障的体制之外。目前,虽然城市农民工社会保障问题已经引起社会各界的广泛关注,但季节性农民工的社会保障问题仍未引起重视。针对季节性农民工这一特殊群体的社会保障问题做了一个分析,提出了解决季节性农民工社会保障问题的基本原则和基本制度框架。     

关于国家科技安全战略管理的理论探讨

在科学技术飞速发展、人类社会向知识经济时代迈进的今天,科技安全在国家安全体系中的地位越来越重要,科技安全水平已经成为衡量一个国家综合安全水平的重要标志。系统研究了国家科技安全战略管理的有关理论问题,包括国家科技安全战略、科技安全规划与计划、科技安全政策与法规、科技安全战略实施与评估等。     

知识传播中的知识安全模型及其技术策略

随着知识共享范围的扩大和共享程度的提高,知识安全逐渐上升为组织保持竞争优势的核心问题。知识传播作为知识链的关键环节,对安全的需求尤为突出。从知识需求者和知识提供者互动的角度出发,以信任为中心讨论知识传播过程中的安全问题;结合传统信息安全的访问控制技术、信任评价机制、隐私保护数据挖掘技术构建组织知识传播安全模型,并简要阐述相关技术实现策略,以期对组织知识管理实践有所裨益。     

人工智能数据安全影响因素的系统动力学研究

[目的/意义]旨在科学分析人工智能数据安全影响因素促进新兴产业的快速发展.[方法/过程]首先利用数据科学的方法从国内外人工智能数据安全研究文献热点关键词中提取相关变量,随后用系统动力学方法构建因果关系图和系统流图,并为仿真模型编写方程、赋予参数,最后对模型的仿真效果进行灵敏度检验,以此探寻人工智能数据安全相关变量间的因...