搜索到3193篇“ 使用控制模型“的相关文章
基于PAT的使用控制模型的形式化规约与安全性分析被引量:1
2016年
使用控制模型UCON是高度分布式、网络化的异构开放式计算环境下实现数字资源保护的新型访问控制模型。首先,利用态式时间进程代数TCSP#建立了每个UCON核模型的形式化规约,以及针对一般化UCON的组合规约机制。其次,提出了各种基于单会话的进程组合机制,实现了复杂并发会话、时间控制与非确定性的形式化规范,从而使组合进程的可达空间即为所求空间。最后,提出了基于可达空间的UCON安全性分析方法,以及基于进程代数等价的控制规则冲突性分析方法。所有的工作都已在PAT上实现,表明所提方法是切实可行的,同时也为UCON的形式化规范与安全性验证寻找到了一个合适的工具。
周从华陈伟鹤刘志锋
关键词:UCON形式化规约
使用控制模型的状态扩展模型研究
2013年
针对现有使用控制模型连续控制能力弱、处理突发认证行为差等问题,通过在现有使用控制模型状态转换时序图中引入认证因素,对其状态转换时序图进行了扩展,实现了对使用控制模型的扩展,使其控制性进一步增强.同时提出了在该扩展状态转换时序图下使用控制的逻辑结构模型,并给出了其认证规则和实施的UML类图.
胡兆玮罗琳
关键词:逻辑结构UML类图
基于使用控制模型的文件安全管理研究
随着办公自动化的推进,文件日益成为政府和企业信息系统中的重要资源,文件内容的泄露和不当使用将带来巨大风险和损失。因此,研究如何保证内部文件在整个使用过程的安全性具有重要的理论和实际意义。  本文提出了一组文件使用控制模型...
李英甫
关键词:使用控制模型引用监控器身份认证访问控制技术
基于上下文的普适计算使用控制模型被引量:3
2012年
目前普适计算中的访问控制绝大多数采用基于角色访问控制模型(RBAC);然而使用控制(UCON)模型具有可变性和持续性,更适合普适计算,但没有充分考虑上下文信息。在UCON模型中增加对上下文信息考虑的同时将义务和条件决策因素分为静态和动态,提出了基于上下文的普适计算使用控制(Con_UCON)模型,动态义务和条件作为使用过程中的决策因素;同时建立了模型的核心规则集,并给出了形式语言描述。该模型能满足普适计算环境中访问控制的需求。通过普适计算智能办公系统中的三个实例,证明此模型具有有效性、灵活性和安全性。
武海鹰
关键词:上下文普适计算访问控制角色访问控制
动态开放式网络中基于角色使用控制模型研究
现代网络系统具有分布式、动态性的特征,传统访问控制模型静态集中式授权的方式不适应新型网络的需求,作为下一代访问控制模型被提出的使用控制(UCON)模型以其决策持续性和属性易变性的特点适用于各种网络系统,但是存在缺乏管理模...
翟志刚王建东曹子宁毛宇光
关键词:基于角色访问控制角色映射角色继承
基于角色的跨域使用控制模型及其应用研究被引量:3
2012年
针对网络环境下多自治域之间互操作安全需求,提出了一个基于角色和映射规则的跨域使用控制模型CD_UCON(Cross-Domain UCON)。该模型结合了基于角色的访问控制(RBAC)模型的权限机制和使用控制模型(UCON)的框架。为实现属性易变性和访问控制连续性,CD_UCON对UCON模型中的属性和授权规则进行扩展;通过映射规则实现跨域交互。以CD_UCON模型在物资采购管理系统中的应用分析说明了该模型的可行性。
刘智敏顾韵华
关键词:映射规则物资采购管理
普适计算环境中基于上下文的使用控制模型被引量:1
2012年
使用控制模型可以解决普适计算环境中访问控制的动态授权问题,但该模型没有考虑上下文信息。为此,提出一种普适计算环境中基于上下文的使用控制模型。在使用决策因素中增加上下文信息,包括时间、位置和环境因素,采用行为时态逻辑定义模型的核心规则集。以基于普适计算的智能教室为实例进行分析,证明该模型在普适计算环境中的有效性。
武海鹰
关键词:普适计算访问控制上下文
DRM细粒度使用控制模型及其安全机制被引量:3
2012年
为了解决现有数字版权管理中使用控制模型缺乏对细粒度数字内容的灵活和安全使用的问题,基于对一般使用控制模型UCONABC的扩展,提出了形式化的细粒度使用控制理论模型Gran-UCON及其原型系统安全框架和实现机制。该方案将数字资源实体进行细粒度分割,使其粒度减小到具有完整意义的基本单元,进一步通过许可授权加以安全控制。应用实例验证了该模型在数字内容用户终端使用中的安全性和灵活性。
黄涛张志勇牛丹梅张丽丽田伟莉
关键词:数字版权管理形式化
动态开放式环境下的使用控制模型研究
传统的访问控制模型都是基于封闭式计算环境,安全策略验证在访问发生之前执行,访问过程中授权不再发生变化,而目前的动态开放式环境,具有实体属性可变、访问控制持续、实体分布分散等特点,传统访问控制策略模型已经不能满足当前网络环...
翟志刚
关键词:信息安全授权管理角色访问控制
基于角色的跨域使用控制模型及其应用研究
随着互联网规模的日益扩大,分布式开放环境中的信息共享和资源交换的需求与日俱增。域间的跨域访问通过提供分布式资源共享的方式,提高了资源的利用率,同时也带来了跨域安全问题。如何实现跨域授权与访问控制成为当前网络安全领域亟待解...
刘智敏
关键词:角色物资采购管理

相关作者

李沛武
作品数:42被引量:149H指数:7
供职机构:南昌工程学院信息工程学院
研究主题:使用控制模型 K近邻 聚类算法 PETRI网 访问控制
胡兆玮
作品数:28被引量:44H指数:4
供职机构:吉林师范大学计算机学院
研究主题:高师院校 使用控制模型 隐私保护 语文教学 安全性
黄涛
作品数:12被引量:76H指数:7
供职机构:河南科技大学信息工程学院
研究主题:数字版权管理 委托授权 形式化 DRM 细粒度
张丽丽
作品数:96被引量:83H指数:6
供职机构:河南科技大学
研究主题:非易失存储器 放电信号 铁电随机存储器 社交网络 暴力破解
陈伟鹤
作品数:32被引量:321H指数:9
供职机构:江苏大学计算机科学与通信工程学院
研究主题:隐私保护 数据挖掘 访问控制 数据发布 空间离群点