王福

作品数：12被引量：26H指数：3
导出分析报告
供职机构：公安部第三研究所更多>>
发文主题：智能卡应用系统PKI/PMI跨域访问访问控制更多>>
发文领域：自动化与计算机技术自然科学总论文化科学电子电信更多>>
发文期刊：《上海电机学院学报》《信息网络安全》《计算机应用与软件》《计算机应用研究》更多>>
所获基金：国家高技术研究发展计划科研院所技术开发研究专项资金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全数据库顶层规范中SQL操作的形式化分析与验证被引量：1
《计算机应用研究》2015年第6期1751-1756,共6页汪志鹏 杨明慧 陈兵 王福 
科研院所技术开发研究专项项目(2014EG53068);公安部科技强警基础工作专项项目(2014GABJC042)
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的...
关键词：形式化顶层规范 安全数据库 SQL操作 形式化分析与验证 
物联网共性平台研究被引量：6
《计算机应用与软件》2012年第8期95-97,152,共4页王福 杭强伟 
国家发改委信息安全产业化项目(发改办高技[2010]3044号)
物联网被誉为本世纪最有影响的技术革命和改变世界的技术。开展物联网的相关研究,具有重要的社会、经济意义和长远的战略意义。物联网共性平台研究是物联网技术研究的核心关键。对物联网共性平台的架构进行研究,重点研究感知点的共性管...
关键词：物联网 云 共享平台 中间件 
基于属性的跨域访问方法研究被引量：1
《信息网络安全》2011年第9期123-125,132,共4页王福 周家晶 
针对基于IRBAC2000模型的跨域访问过程中所面临的动态性和细粒度问题,文章提出了一个基于属性同步的跨域访问控制框架,在此框架下,研究了一种基于属性同步的跨域访问控制方法,该方法将主体属性分成动态属性和静态属性,采用三种信令对跨...
关键词：跨域访问控制 属性 属性同步 动态性 
一种信任域下的动态细粒度访问控制方法研究被引量：1
《计算机应用与软件》2011年第4期91-94,共4页万爱霞 周家晶 王福 刘欣 
国家高技术研究发展计划项目(2008AA01Z412)
信任域下主客体数量庞大、种类丰富、环境复杂易变,对传统的访问控制提出了挑战。针对传统的访问控制策略不够灵活,无法实现细粒度权限的问题,提出了一种信任域内的动态细粒度访问控制方法。该方法基于RBAC模型增加了条件约束,实施时在...
关键词：信任域 访问控制 动态 细粒度 PEP细粒度组件 
基于PKI的网络边界安全监控方法被引量：7
《计算机工程》2010年第13期140-142,共3页邹翔 刘浩 王福 
国家"863"计划基金资助项目(2006AA01Z450;2008AA01Z412)
针对网络边界安全防御的需求和特点,提出一种基于PKI技术的网络边界安全监控方法。该方法结合基于PKI的身份认证机制、入侵检测技术与VPN技术,通过对网络流量和系统日志的关联分析,能够在实时发现入侵行为的同时,准确定位入侵来源并实...
关键词：网络边界 安全监控 入侵检测 公钥基础设施 
一种面向PKI/PMI的电子政务边界数据防护系统被引量：3
《计算机应用与软件》2010年第6期60-62,117,共4页王福 谭成翔 沈寒辉 
国家发展改革委员会批准项目(发改委高技[2008]1736号)
电子政务边界上的数据安全防护变得越来越重要。提出一种基于PKI/PMI的电子政务边界数据安全防护系统BDSPS(Boundary Data Security Protection System),研究了系统架构、组成、中间件、及实现方式。系统从电子政务系统业务边界、客户...
关键词：电子政务 数据防护 边界 PKI/PMI 
基于IRBAC的跨域角色映射方法被引量：5
《计算机应用》2010年第A01期106-108,共3页王福 沈寒辉 邹翔 
国家863计划项目(2008AA01Z412)
在资源共享越来越密切的今天,跨域授权访问变得越来越重要,IRBAC2000模型通过动态角色转换来实现域间的授权访问,但是该模型在动态角色映射时存在最小权限、职责分离和域穿越等问题。提出一个矩阵结构的跨域映射方式来改进IRBAC2000,研...
关键词：跨域 IRBAC2000 映射 域穿越 
基于UCON的跨域访问控制方法研究被引量：1
《上海电机学院学报》2010年第2期95-99,共5页万爱霞 周家晶 王福 刘欣 
国家高技术研究发展计划(863)项目(2008AA01Z412)
针对基于IRBAC 2000模型的跨域访问过程中所面临的动态性和细粒度问题,提出了基于使用控制(UCON)跨域访问控制方法。在跨域访问过程中,采用推拉模式实现请求域和资源域属性的同步,将请求域主体的属性变化及时、主动地在资源域反应,实现...
关键词：使用控制 跨域访问 动态性 细粒度 
一种基于PKI/PMI技术的跨系统管理平台
《信息网络安全》2009年第10期13-15,共3页王福 沈寒辉 杭强伟 
用户在跨越本地信息系统扩展外部业务,与其他逻辑隔离的PKI/PMI信任域的信息系统进行网上数据共享和信息交换时,会出现相互信任问题和资源访问的权限问题,亟需一种更灵活、更安全的管理平台来管理跨系统身份和授权访问,以提供安全通信...
关键词：跨系统 身份 授权 PKI/PMI 
基于PKI／PMI的应用系统重构策略研究
《计算机应用与软件》2008年第3期51-53,共3页王福 谭成翔 刘欣 
国家发展改革委员会批准项目(发改高技[2003]1203)
PKI/PMI技术发展迅速,当一个PKI/PMI系统建立起来后,怎样重构已经存在的各种应用系统,使其得到PKI/PMI的强安全支撑,有着非常重要的实用价值,针对上述问题对应用系统安全模型,应用重构策略和应用系统重构流程进行研究,最后,给出了一个GI...
关键词：PMI PKI 权限 应用系统重构 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部