安全协议的形式化分析技术与方法 被引量：61

1

作者 薛锐 冯登国 《计算机学报》 EI CSCD 北大核心 2006年第1期1-20,共20页

对于安全协议的形式化分析方法从技术特点上做了分类和分析.对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结.根据作者的体会,从纵向和横向两个角度进行了总结.纵向方面主要是从用于分析安全协议的形式... 对于安全协议的形式化分析方法从技术特点上做了分类和分析.对于安全协议分析技术的发展历史、目前的状况以及将来的趋势作了总体的介绍和总结.根据作者的体会,从纵向和横向两个角度进行了总结.纵向方面主要是从用于分析安全协议的形式化方法的出现和发展的历史角度加以总结.横向方面主要从所应用的技术手段、技术特点入手,进行总结分析.说明了目前协议形式化分析发展的主要方向.对于目前国际流行的方法和模型进行了例解. 展开更多

关键词 安全协议 形式化分析 安全目标 Dolev-Yao模型 密码学可靠性

下载PDF 职称材料

失地农民的社会保障问题研究——以龙港的社会保障为例 被引量：19

2

作者 王美涵 董文松 《财经论丛（浙江财经学院学报）》 CSSCI 北大核心 2004年第5期1-7,共7页

本文以中国第一座农民城—龙港为例,揭示了我国城市化进程中出现的失地农民社会保障中存在的问题,分析其原因,并提出了目标模式及对策建议。

关键词 失地农民 社会保障 龙港 目标模式 问题 对策

下载PDF 职称材料

保留格式加密技术研究 被引量：17

3

作者 刘哲理 贾春福 李经纬 《软件学报》 EI CSCD 北大核心 2012年第1期152-170,共19页

围绕基本构建方法、加密模型和安全性等方面,对保留格式加密(format-preserving encryption,简称FPE)的研究现状进行了综述.在基本构建方法方面,介绍了Prefix,Cycle-Walking和Generalized-Feistel方法的工作原理及适用范围;在加密模型方... 围绕基本构建方法、加密模型和安全性等方面,对保留格式加密(format-preserving encryption,简称FPE)的研究现状进行了综述.在基本构建方法方面,介绍了Prefix,Cycle-Walking和Generalized-Feistel方法的工作原理及适用范围;在加密模型方面,分析了FPE模型或方案所呈现的构造特点,介绍了典型模型的工作原理,总结了Feistel网络的类型及其在FPE中的应用情况;在安全性方面,描述了保留格式加密的安全目标及相关的游戏模型,分析了各安全目标之间的关系.最后介绍了保留格式加密的应用领域,指出性能、完整性认证以及FPE在数据库加密应用中如何对密文进行范围查询、算术运算将是进一步需要解决的问题.这些研究工作将对保留格式加密的研究起到一定的促进作用. 展开更多

关键词 保留格式加密 排序后加密 FEISTEL网络 安全目标 保序加密 秘密同态

下载PDF 职称材料

改革开放以来党对社会保障制度重大理论认识的发展 被引量：11

4

作者 丁建定 《社会保障评论》 CSSCI 2018年第4期31-42,共12页

改革开放以来,中国共产党对社会保障制度重大理论认识逐步发展和深化。其在功能定位方面,实现社会保障逐步从推进国有企业改革的重要条件发展到保障人民生活、调节社会分配的一项基本制度;在社会保障制度目标方面提出了保障和改善民生... 改革开放以来,中国共产党对社会保障制度重大理论认识逐步发展和深化。其在功能定位方面,实现社会保障逐步从推进国有企业改革的重要条件发展到保障人民生活、调节社会分配的一项基本制度;在社会保障制度目标方面提出了保障和改善民生、全面建成小康社会和满足人民对美好生活的需要;在社会保障制度理念方面提出了就业是民生之本、促进社会公平正义和共享发展;在社会保障制度发展道路方面强调社会保障制度的中国特色、城乡统筹发展和可持续发展。中国共产党对社会保障制度重大理论问题的认识构成中国特色社会主义理论体系的重要内容,是中国共产党对马克思主义社会保障制度理论的重要贡献。 展开更多

关键词 社会保障理论 社会保障功能 社会保障目标 社会保障理念 社会保障道路

下载PDF 职称材料

基于分层模型的网络安全策略逐级求精算法 被引量：8

5

作者 陈晓苏 林植 冯向东 《小型微型计算机系统》 CSCD 北大核心 2007年第6期998-1002,共5页

基于策略的安全防护技术是当前网络安全研究的重点之一,但其中的抽象策略求精问题一直没有得到很好解决,从而导致基于策略的安全应用需要人工干预配置策略.本文基于安全策略的分层管理模型,提出了一个集目标求精和实体求精为一体的安全... 基于策略的安全防护技术是当前网络安全研究的重点之一,但其中的抽象策略求精问题一直没有得到很好解决,从而导致基于策略的安全应用需要人工干预配置策略.本文基于安全策略的分层管理模型,提出了一个集目标求精和实体求精为一体的安全策略逐级求精算法.该算法首先通过目标求精将抽象策略转化为系统应执行的安全行为,然后通过实体求精确定安全行为的执行环境,从而将抽象策略转化为系统可理解和可执行的操作规则,解决了策略求精问题. 展开更多

关键词 安全策略 分层管理模型 目标求精 实体求精

下载PDF 职称材料

陆地边疆安全治理的目标取向与路径抉择 被引量：7

6

作者 宋才发 《云南大学学报（社会科学版）》 CSSCI 2022年第2期100-109,共10页

边疆安全是总体国家安全的重要组成部分。在当下和今后相当长的一段时期内,我国需要把边疆治理、边疆安全、边疆稳定、边疆发展放到同等重要的位置,以促进其他各项治理目标任务的完成。陆地边疆治理是国家安全治理极为重要的内容,边疆... 边疆安全是总体国家安全的重要组成部分。在当下和今后相当长的一段时期内,我国需要把边疆治理、边疆安全、边疆稳定、边疆发展放到同等重要的位置,以促进其他各项治理目标任务的完成。陆地边疆治理是国家安全治理极为重要的内容,边疆安全治理改变了国家疆域边缘和治理末梢的传统观念,边疆治理蓝图彰显了边疆治理的政治性和人民性。边疆民族地区安全治理是我国安全治理体系中的弱项和短板,直接影响和制约着国家重大战略安全实施。陆地边疆安全面临着诸多风险和挑战,合力治边是边疆治理现代化的重要方略,跨域治理是陆地边疆安全治理的新模式。在陆地边疆安全治理路径的抉择上,必须把国家认同建设作为边疆安全治理的重要职能,把边民守土护边作为边疆安全治理的常态化任务,把民生改善作为边疆安全治理的重要抓手,把综合施策作为边疆安全治理的思维方式。 展开更多

关键词 陆地边疆 安全治理 稳疆固边 目标取向 路径选择

下载PDF 职称材料

《孙子兵法》的国家安全观及其镜鉴 被引量：1

7

作者 陈二林 《滨州学院学报》 2016年第3期5-10,共6页

诞生于2500多年前的《孙子兵法》,适应当时争强称霸的社会现实,构建起以"修道而保法"为安全方针、"必以全争于天下"为安全战略、"因利而制权"为安全手段、"安国全军"为安全目标、"保民&qu... 诞生于2500多年前的《孙子兵法》,适应当时争强称霸的社会现实,构建起以"修道而保法"为安全方针、"必以全争于天下"为安全战略、"因利而制权"为安全手段、"安国全军"为安全目标、"保民""利主"为安全价值,具有系统性、辩证性、务实性、超拔性与和合性的国家安全观。这对我们在全球化时代,能更好地抓住发展机遇与应对风险挑战提供了重要镜鉴,具体表现在:国家安全状况乃综合因素所致并表现在众多领域,挑战威胁的非单一性与影响安全因素的复杂变动性,要求我们动态辩证地审视社会危机与国家安全状况;国家安全不会凭空得来,须以长足发展求安全,以综合实力为保障,不仅要着眼于现实,还须以史为鉴,未雨绸缪;要以"和谐世界"与"命运共同体"理念为指导,秉持和平、发展、合作、共赢之原则,坚持互信、互利、平等、协作的新安全观,统筹国际国内两个大局,将平安中国建设与和谐世界建设有机结合起来;在推进国家治理体系与能力现代化的同时,广泛深入地参与全球治理,坚定不移地致力于维护世界和平、促进共同发展。 展开更多

关键词 《孙子兵法》 国家安全观 安全方针 安全战略 安全手段 安全目标 安全价值

下载PDF 职称材料

探讨计算机网络安全与对策——应用Struts建立网络安全管理平台 被引量：3

8

作者 武建宏 《电脑知识与技术》 2007年第7期46-47,共2页

随着信息技术的发展,尤其是网络的普及,网络系统的安全问题开始引起人们的注意。但是仅仅依靠技术、安全设备远远不能够解决信息安全中遇到的所有问题。当使用了种类繁多的网络安全产品后,如何有效地对它们进行统一的管理和配置就成了... 随着信息技术的发展,尤其是网络的普及,网络系统的安全问题开始引起人们的注意。但是仅仅依靠技术、安全设备远远不能够解决信息安全中遇到的所有问题。当使用了种类繁多的网络安全产品后,如何有效地对它们进行统一的管理和配置就成了使用者面临的一个主要问题。本文阐述了建设网络安全管理的必要性,在此基础上着重介绍了一套基于J2EE架构、利用Struts框架开发,以Web形式访问的网络安全管理平台。 展开更多

关键词 网络安全 管理平台 安全目标 系统功能

下载PDF 职称材料

用CC的方法分析和解决一个常见的网络安全问题 被引量：2

9

作者 黄洪 张斌 谢朝海 《国土资源信息化》 2005年第3期20-23,19,共5页

CC导出PP的过程是一种安全评估通用语言到某类产品的具体应用过程,需要经过需求分析、得出安全目的、提出安全功能要求与安全保证要求等几个阶段。本文利用这些过程的基本方法和思想全面分析一个常见的网络安全问题,并按照保护轮廓的模... CC导出PP的过程是一种安全评估通用语言到某类产品的具体应用过程,需要经过需求分析、得出安全目的、提出安全功能要求与安全保证要求等几个阶段。本文利用这些过程的基本方法和思想全面分析一个常见的网络安全问题,并按照保护轮廓的模式给出该网络的安全要求。 展开更多

关键词 CC PP TOE 安全目的 资产 威胁

下载PDF 职称材料

国际关系的本体性安全研究:一项研究议程 被引量：3

10

作者 贺刚 《太平洋学报》 CSSCI 2014年第12期36-46,共11页

在国际关系研究相继发生语言学、社会学和实践转向的背景下,本体性安全研究开始兴起。从社会学家安东尼·吉登斯的思想中汲取营养的本体性安全研究,成为当前分析国家对外行为的主要切入点之一。本文系统梳理了本体性安全研究的发展... 在国际关系研究相继发生语言学、社会学和实践转向的背景下,本体性安全研究开始兴起。从社会学家安东尼·吉登斯的思想中汲取营养的本体性安全研究,成为当前分析国家对外行为的主要切入点之一。本文系统梳理了本体性安全研究的发展路径,认为当前国际关系中的本体性安全研究议程主要有三大方向:身份与情感、话语战略与叙述以及民族主义。在此基础上,本文提出了一个新的本体性安全研究分析框架,以期能进一步推进该研究议程的发展。 展开更多

关键词 本体性安全 自传体叙述 目标寻求 身份

下载PDF 职称材料

网络空间安全学科人才培养机制探索 被引量：3

11

作者 李锦青 底晓强 +1 位作者 母一宁 管红梅 《软件导刊》 2022年第7期175-179,共5页

国家对网络空间安全学科的发展越来越重视。针对该学科培养机制不明确等诸多问题,提出一种多样化教学模式。该模式从课程内容、教学方法、评价体系等多方面进行改革,重点培养网络空间安全人才扎实的理论知识基础和过硬的实践能力。在对... 国家对网络空间安全学科的发展越来越重视。针对该学科培养机制不明确等诸多问题,提出一种多样化教学模式。该模式从课程内容、教学方法、评价体系等多方面进行改革,重点培养网络空间安全人才扎实的理论知识基础和过硬的实践能力。在对采用该教学模式的1个班级进行理论和实战能力测试后,发现全班学生理论成绩平均分可达90分以上;实战方面,学生可在较短时间内完成网络靶场的攻防仿真任务,有3/4的学生可以解决95%以上的网络安全问题。该培养模式具有一定的优越性。 展开更多

关键词 网络空间安全 实践教学 人才培养 目标导向

下载PDF 职称材料

滦河生态流量目标研究及保障对策建议 被引量：3

12

作者 刘玉晶 《海河水利》 2021年第6期28-32,共5页

受气候、下垫面变化和人类活动等因素的影响,滦河地表径流量逐渐减少,下游生态系统遭到威胁,入海水量减少,生物多样性衰退。在分析滦河水资源开发利用情况和生态现状基础上,依据滦河生态功能定位,研究确定滦河生态流量控制断面及生态流... 受气候、下垫面变化和人类活动等因素的影响,滦河地表径流量逐渐减少,下游生态系统遭到威胁,入海水量减少,生物多样性衰退。在分析滦河水资源开发利用情况和生态现状基础上,依据滦河生态功能定位,研究确定滦河生态流量控制断面及生态流量保障目标,并提出生态流量保障对策建议,为推进河流生态修复,统筹流域生产、生活、生态用水,促进区域协调和可持续发展提供参考。 展开更多

关键词 滦河 生态流量 保障目标

下载PDF 职称材料

基于PKI的认证密钥协商协议可证明安全理论研究 被引量：1

13

作者 赵建杰 谷大武 胡学先 《密码学报》 2014年第6期551-567,共17页

密钥协商是会话密钥建立的一种重要方式,这种手段的最大优势是不需要参与会话密钥生成的可信第三方和安全信道,协议的参与者也无需信任其他参与者.本文围绕基于PKI的认证密钥协商协议和其安全性分析理论展开研究,首先根据参与者长期私... 密钥协商是会话密钥建立的一种重要方式,这种手段的最大优势是不需要参与会话密钥生成的可信第三方和安全信道,协议的参与者也无需信任其他参与者.本文围绕基于PKI的认证密钥协商协议和其安全性分析理论展开研究,首先根据参与者长期私钥的不同性质对密钥协商协议进行了分类,之后聚焦基于PKI体系的密钥协商协议,介绍了双方、三方口令和群密钥协商协议的研究现状,同时指出了这些方案的优缺点和对应的改进方案,并从中提炼出设计这类密钥协商协议的基本原则以及应达到的安全目标.对协议的安全性分析也是这一研究领域的重要方向,本文总结了现有的密钥协商协议的安全性论证方法,考虑到可证明安全理论是目前协议安全性分析的主流方向,本文重点论述了可证明安全理论在双方,三方口令和群认证密钥协商中的研究进展.随着移动互联网、物联网、云计算等技术的快速发展,现代密码协议的运行环境日趋复杂,关于密钥协商协议依然存在很多的问题值得进一步探索和研究,本文对这些问题也进行了总结归纳. 展开更多

关键词 信息安全 密钥协商 可证明安全 安全目标 随机预言模型

下载PDF 职称材料

一个基于模态逻辑的安全协议度量方法 被引量：1

14

作者 王涛 郭荷清 姚松涛 《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第11期37-42,共6页

为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 .应用该方法对实... 为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 .应用该方法对实例协议进行分析 ,直接描述各协议内容的贡献度 ,显示冗余内容对目标实现的无效作用 ,从而可以安全化简 .量化分析在安全协议形式化分析中的应用是本方法的主要特点 ,它具有模态逻辑方法的优点及缺陷 . 展开更多

关键词 安全协议 协议目标 协议度量 协议冗余 模态逻辑

下载PDF 职称材料

DGSA、SSAF和CDSA安全体系结构比较与分析

15

作者 郜宪林 《计算机工程与应用》 CSCD 北大核心 2002年第3期96-98,113,共4页

该文介绍了美国国防目标安全体系结构(DGSA)、美国国防基础设施公共操作环境(DIICOE)安全服务体系结构框架(SSAF)和Intel公司开发的公共数据安全体系结构(CDSA),并对它们进行了比较和分析。

关键词 信息安全 DGSA SSAF CDSA 体系结构

下载PDF 职称材料

完善社会保障体系的断想

16

作者 何永岩 《辽宁税务高等专科学校学报》 2001年第5期16-17,共2页

市场经济的建立 ,需要有一个完善的社会保障体系。完善的社会保障体系的标志是必须有一个科学合理的保障目标 ,要强化政府社会保障部门的行政职能 ,要有一个强有力的基金筹措手段。

关键词 保障目标 保障部门 社会保障体系 中国

下载PDF 职称材料

河北省现代社会保障体系目标模式研究 被引量：1

17

作者 刘德智 郭爱英 +3 位作者 靳秉强 李秀莲 苏俊 吴志岭 《石家庄经济学院学报》 2001年第1期10-17,25,共9页

积极推进社会保障体系改革是经济体制改革的重要组成部分 ,建立现代社会保障体系是建立现代企业制度的必要条件。本文结合河北省作为人口和经济大省以及各地区发展不平衡的实际 ,重点设计了养老保险制度目标模式。

关键词 河北 社会保障 目标模式 社会保障体系

下载PDF 职称材料

对当前我国社会保障体系价值目标的新思考——基于构建和谐社会的视角 被引量：1

18

作者 尹小剑 《社会工作》 2006年第12期31-32,共2页

“社会保障”事关全社会的安全、稳定乃至构建和谐社会目标的实现。改革当前社会保障体制,构建适合我国国情的新的社会保障体系迫在眉睫,对当前社会保障体系的价值目标进行重新定位,是选择改革路径、寻找改革突破口之关键所在。

关键词 和谐 社会保障 价值目标

下载PDF 职称材料

基于软件工程过程的安全需求工程SREP研究

19

作者 王辉 胥扬 +1 位作者 杨光灿 庞玺桥 《微计算机信息》 2012年第8期8-10,共3页

当今的安全解决方案更多地集中在提供安全防御,而不是解决IS安全问题的起因。为了辅助企业组织构造出一个适合自身的充分安全系统,改变以往的被动防御方式,提出了一个启发企业安全需求的安全需求工程SREP。它与系统研发过程相集成,全面... 当今的安全解决方案更多地集中在提供安全防御,而不是解决IS安全问题的起因。为了辅助企业组织构造出一个适合自身的充分安全系统,改变以往的被动防御方式,提出了一个启发企业安全需求的安全需求工程SREP。它与系统研发过程相集成,全面分析和收集安全需求,通过一个系统的方法将安全需求整合到软件工程过程中。通过安全需求工程SREP的9个环节,保障企业有效抵御来自企业内部或外部潜在的威胁,从而达到防患于未然的目的。 展开更多

关键词 软件工程 安全需求 风险评估 安全目标

下载PDF 职称材料

湖北省电力公司2005年安全生产工作思路

20

作者 汤文全 《湖北电力》 2005年第1期1-5,共5页

　按照国家电网公司"一强三优"和"三抓一创"的总体要求及湖北省电力公司"三型二化一强"发展战略规划,提出了湖北省电力公司2005年安全生产的工作思路。

关键词 电网安全 工作目标 工作要点

下载PDF 职称材料