期刊文献+
共找到199篇文章
< 1 2 10 >
每页显示 20 50 100
Modified stochastic user-equilibrium assignment algorithm for urban rail transit under network operation
1
作者 朱炜 胡昊 +1 位作者 徐瑞华 洪玲 《Journal of Central South University》 SCIE EI CAS 2013年第10期2897-2904,共8页
Based on the framework of method of successive averages(MSA), a modified stochastic user-equilibrium assignment algorithm was proposed, which can be used to calculate the passenger flow distribution of urban rail tran... Based on the framework of method of successive averages(MSA), a modified stochastic user-equilibrium assignment algorithm was proposed, which can be used to calculate the passenger flow distribution of urban rail transit(URT) under network operation. In order to describe the congestion's impact to passengers' route choices, a generalized cost function with in-vehicle congestion was set up. Building on the k-th shortest path algorithm, a method for generating choice set with time constraint was embedded, considering the characteristics of network operation. A simple but efficient route choice model, which was derived from travel surveys for URT passengers in China, was introduced to perform the stochastic network loading at each iteration in the algorithm. Initial tests on the URT network in Shanghai City show that the methodology, with rational calculation time, promises to compute more precisely the passenger flow distribution of URT under network operation, compared with those practical algorithms used in today's China. 展开更多
关键词 urban rail TRANSIT STOCHASTIC user equilibrium ASSIGNMENT ALGORITHM method of successive AVERAGES network operation
在线阅读 下载PDF
基于用户数据的整车结构耐久“试验场-用户”关联特性分析
2
作者 赵礼辉 徐晓宇 +2 位作者 翁硕 刘东俭 张东东 《汽车工程》 北大核心 2025年第8期1634-1645,共12页
基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行... 基于现有试验场结构耐久规范难以全面捕捉实际用户运行条件下的复杂载荷特性,导致试验场工况与用户工况之间存在差异,本文以用户大数据为基础,分析了用户结构耐久工况特征并进一步研究了“试验场-用户”关联特性。首先,对用户数据进行预处理并采用多元时序自适应分割方法构建用户运行片段,从时域、频域和损伤3个角度构建片段特征参数。其次,采用线性和非线性两种方法进行特征参数降维,基于K-Means聚类算法将用户的运行片段划分为6类典型工况,进一步探讨了各典型工况的运行特征、损伤贡献及不同城市用户数据的差异性。最后,通过试验场强化路面和典型工况的映射关系进行相似性分析;通过损伤目标、功率谱密度、外推雨流进行差异性分析,结合“损伤等级-车速”联合分布对产生差异的原因进行探讨。研究成果为用户使用条件下试验场整车结构耐久性试验工况的选取、全寿命周期目标的确定和现有试验场规范的优化提供了参考和依据。 展开更多
关键词 用户运行大数据 结构耐久 工况特征 试验场与用户关联
在线阅读 下载PDF
基于眼动追踪的某船用操作系统主界面触控交互优化设计
3
作者 楚东晓 许若璠 《包装工程》 北大核心 2025年第8期1-14,共14页
目的海上作业环境复杂多变,船只功能繁多冗余,传统操作系统重功能覆盖而忽视用户体验,导致交互效率低下,影响作业效果。本研究以某船用操控系统主界面的优化设计为切入点,探讨图标尺寸、图标间分割线及界面布局的合理性,旨在提升操作效... 目的海上作业环境复杂多变,船只功能繁多冗余,传统操作系统重功能覆盖而忽视用户体验,导致交互效率低下,影响作业效果。本研究以某船用操控系统主界面的优化设计为切入点,探讨图标尺寸、图标间分割线及界面布局的合理性,旨在提升操作效率和用户体验。方法采用眼动追踪技术结合生理指标和任务绩效评估,从瞳孔注视次数、注视时长、任务完成时间及正确率四个指标入手,使用量化实验方法,同时结合用户访谈与被试观察,对某船用操作系统界面的布局设计、图标分割线及图标尺寸展开系统评估。结果不同的界面布局会显著影响用户的使用体验;在图标之间添加分割线以明确交互边界,可以优化人机交互体验。就本系统所使用的物理设备而言,交互区域不宜紧贴界面边缘且当图标尺寸接近10 mm时,能够有效提升交互触控效率。结论提出的优化建议对提升包括船用操控系统在内的触控式界面的人机交互设计具有指导意义,丰富、完善了复杂环境下用户界面的人机交互设计理论。 展开更多
关键词 人机交互 眼动追踪 船只操控界面设计 可用性评估 用户体验
在线阅读 下载PDF
基于MILP-TD3的用户侧储能系统优化运行
4
作者 陈景文 单茜 《中国电机工程学报》 北大核心 2025年第13期5119-5129,I0015,共12页
深度强化学习(deep reinforcement learning,DRL)作为调控用户侧储能以消纳光伏发电和满足用户用电需求的重要算法得到广泛的应用,但应用过程中,DRL智能体难以严格执行运行约束,导致其提供不可靠的动作,威胁储能系统运行的安全性。基于... 深度强化学习(deep reinforcement learning,DRL)作为调控用户侧储能以消纳光伏发电和满足用户用电需求的重要算法得到广泛的应用,但应用过程中,DRL智能体难以严格执行运行约束,导致其提供不可靠的动作,威胁储能系统运行的安全性。基于此,该文提出一种基于MILP-TD3的用户侧储能系统优化运行策略。首先,以调度周期内运行成本最小为目标,建立考虑电池退化成本的实时运行优化模型,引入包含功率平衡约束的马尔科夫决策过程(Markov decision process,MDP),将储能运行问题转换为智能体的寻优问题;其次,提出将双延迟深度确定性策略梯度(double delay depth deterministic strategy gradient,TD3)算法的动作价值函数转化为混合整数线性规划(mixed integer linear programming,MILP)公式的MILP-TD3算法,使智能体严格执行储能运行的约束条件;最后,通过算例对比分析,结果表明所提模型和算法能够确定最优运行策略,可以严格执行功率平衡约束,该文算法较传统TD3算法所得平均日运行成本降低25.34%,各时段平均优化时间为0.024 s,满足实时调度要求,保证用户侧储能系统安全运行。 展开更多
关键词 用户侧储能 深度强化学习 混合整数线性规划 优化运行
在线阅读 下载PDF
水经济运行系统用户异常行为检测模型研究
5
作者 唐茂林 刘刚 +3 位作者 何振邦 于永成 周青山 孟雯锦 《水利水电技术(中英文)》 北大核心 2025年第S1期553-559,共7页
水经济运行系统是水资源管理的重要工具,能够极大地提升电站的运行效率,系统的用户行为直接影响到水经济运行系统的运行状态和数据的准确性。通过系统日志对用户行为的实时监测和分析,可以及时发现潜在的安全威胁。研究从系统日志中挖... 水经济运行系统是水资源管理的重要工具,能够极大地提升电站的运行效率,系统的用户行为直接影响到水经济运行系统的运行状态和数据的准确性。通过系统日志对用户行为的实时监测和分析,可以及时发现潜在的安全威胁。研究从系统日志中挖掘用户异常行为发生的共性,提出了基于Transformer的水经济运行系统用户异常行为检测模型(T-UABI-WEOS)。在不牺牲数据原有信息的前提下,采用特征融合预处理方法优化了数据的表达形式,使得特征之间的相互作用得到了有效的体现,而不是单纯地被独立对待。考虑到用户行为数据的不平衡问题,引入变分自编码器模型(Variational Auto-Encoder, VAE),对异常序列数据进行学习,进而由已训练的VAE模型生成的模拟异常序列数据平衡数据集,以此来增强模型的训练效果。试验结果显示,相较于传统数据预处理方法,该方法能提高模型的预测精度达6%左右。试验对比了不同的深度学习模型,模型T-UABI-WEOS表现出了更高的准确率和较低的误报率。研究成果为电力行业提供了科学的决策支持,通过实时检测出某些用户的行为存在异常,从而及时发现潜在的安全威胁,并采取相应的防范措施,可以更好地应对网络安全事件,确保电力系统的稳定运行和国家的安全稳定。 展开更多
关键词 用户行为日志 特征融合 异常检测 水经济运行系统
在线阅读 下载PDF
适用于规划-运行两阶段的配电网可靠性等级划分及评估方法 被引量:5
6
作者 李鹏 赵亚汝 +2 位作者 范须露 梁界飞 王加浩 《高电压技术》 EI CAS CSCD 北大核心 2024年第5期2042-2051,I0018,共11页
新型电力系统的快速建设与发展对配电网的可靠性评估提出了更高的要求。综合考虑配电网中终端用户差异化的可靠性需求和电网规划、运行两阶段的不同特点,提出了配电网可靠性等级划分方法和适用于规划-运行两阶段的配电网可靠性评估方法... 新型电力系统的快速建设与发展对配电网的可靠性评估提出了更高的要求。综合考虑配电网中终端用户差异化的可靠性需求和电网规划、运行两阶段的不同特点,提出了配电网可靠性等级划分方法和适用于规划-运行两阶段的配电网可靠性评估方法。首先,考虑用电性质、用户侧负荷特性等多方面因素,计及可靠性电价的影响,从系统侧、用户侧和供用电交互侧出发,建立了配电网供电可靠性评估指标体系;然后考虑终端用户用电需求的差异性,进行了配电网可靠性等级的划分;在此基础上,基于终端用户的差异化可靠性需求,提出了适用于规划-运行两阶段的配电网可靠性评估方法。最后进行算例分析,验证了所提划分方法的合理性和评估方法的有效性。 展开更多
关键词 可靠性评估 终端用户差异化需求 规划-运行两阶段 可靠性等级划分 熵权-层次分析法
在线阅读 下载PDF
混杂工况下面向VRU安全的主动转向控制策略
7
作者 洪亮 陈志豪 李梁 《中国安全科学学报》 CSCD 北大核心 2024年第12期84-93,共10页
为探明弱势道路使用者(VRU)由弯道外侧或内侧出发,以匀加速、匀减速、匀速运动状态横穿马路时,主动转向控制策略的保护功效。首先,建立汽车与VRU的空间位置关系模型、安全评估模型及主动转向安全距离模型,提出一种主动转向控制策略;然后... 为探明弱势道路使用者(VRU)由弯道外侧或内侧出发,以匀加速、匀减速、匀速运动状态横穿马路时,主动转向控制策略的保护功效。首先,建立汽车与VRU的空间位置关系模型、安全评估模型及主动转向安全距离模型,提出一种主动转向控制策略;然后,利用五次多项式换道法、Frenet坐标转换方法与模型预测控制方法,设计横向避撞控制器;最后,以电动自行车骑车人作为避撞对象,基于目标车道状态、电动自行车的运动方向和速度,构建18种混杂工况,验证主动转向控制策略的避撞效果。结果表明:混杂工况下,主动转向控制策略均能避免本车与电动自行车发生碰撞,同时,能够确保本车换道过程中,目标车道中的前车与后车以及本车正常行驶,且本车的乘坐舒适性较好。 展开更多
关键词 弱势道路使用者(VRU) 弯道 运动状态 主动转向 混杂工况
在线阅读 下载PDF
计及热负荷柔性的户用氢能系统运行优化研究
8
作者 袁铁江 曾婧 张明扬 《太阳能学报》 EI CAS CSCD 北大核心 2024年第7期29-40,共12页
针对风电/光伏出力的随机性和间歇性给户用氢能系统热电联供可靠性带来的挑战,提出基于热负荷柔性松弛运行约束的户用氢能系统热电联供优化策略。首先,搭建包含不同模块的户用氢能系统基础架构,并详细说明该系统的运行原理;其次,建立系... 针对风电/光伏出力的随机性和间歇性给户用氢能系统热电联供可靠性带来的挑战,提出基于热负荷柔性松弛运行约束的户用氢能系统热电联供优化策略。首先,搭建包含不同模块的户用氢能系统基础架构,并详细说明该系统的运行原理;其次,建立系统中关键环节的数学模型,确定电解槽平均氢/热比和燃料电池在不同温度下电/热比的范围;然后,为了兼顾用户的舒适度和热负荷的灵活性,根据热感觉平均标度预测指标对户用氢能系统的热负荷需求进行调整;最后,综合考虑储氢罐的容量限制、氢能设备的电/热功率和用户侧柔性热能需求等约束条件,以总投资成本最少和新能源弃电率最低为目标,建立户用氢能系统优化运行模型。仿真结果表明:引入柔性热负荷进行运行调节时,不仅增强了可再生能源的消纳能力,还显著降低了系统的运行成本。 展开更多
关键词 氢能系统 氢燃料电池 柔性负荷 用户舒适度 运行优化 热电联供
在线阅读 下载PDF
考虑多能互补灵活性和用户低碳意愿的区域综合能源系统鲁棒优化调度 被引量:9
9
作者 熊展 王素 +5 位作者 王玲玲 蒋传文 周士超 郭明星 兰莉 吴恩琦 《电网技术》 EI CSCD 北大核心 2024年第7期2691-2701,I0001,I0002,I0003,共14页
为了解决区域综合能源系统(regional integrated energy system,RIES)中由于新能源出力不确定性和多能负荷波动所导致的灵活性不足问题,该文提出了一种考虑多能互补灵活性和用户低碳意愿的鲁棒优化方法。首先,计及新能源出力与负荷的共... 为了解决区域综合能源系统(regional integrated energy system,RIES)中由于新能源出力不确定性和多能负荷波动所导致的灵活性不足问题,该文提出了一种考虑多能互补灵活性和用户低碳意愿的鲁棒优化方法。首先,计及新能源出力与负荷的共同影响,通过净负荷波动来刻画RIES电力子系统灵活性需求。为了计及用户低碳意愿对新能源消纳的影响,分别构建用户购买普通和零碳电能的效用函数。考虑多能耦合设备的灵活备用容量,建立包含多能灵活性供需平衡约束的目标为RIES总运行成本最小及用户总效用最大的三层鲁棒优化调度模型。引入设备最优运行区间对模型内时间耦合约束进行解耦,并采用KKT(Karush-Kuhn-Tucker)条件和嵌套列与约束生成(nested column and constraints generation,NC&CG)算法进行求解。算例分析表明,所提模型可提升RIES运行的灵活性,促进新能源消纳,实现了RIES的低碳经济运行。 展开更多
关键词 区域综合能源系统 运行灵活性 优化调度 用户低碳意愿 鲁棒优化
在线阅读 下载PDF
基于用户分类的综合能源系统低碳运行策略 被引量:1
10
作者 张春雁 窦真兰 +3 位作者 白冰青 王玲玲 蒋传文 熊展 《上海交通大学学报》 EI CAS CSCD 北大核心 2024年第1期1-10,共10页
综合能源系统(IES)是实现“双碳”目标的重要手段,然而系统内部不同类型用户用能行为各异,使得IES协调优化与低碳运行难度增加.为了充分发挥用户的主观能动性,基于用户行为分析对IES的用户行为进行建模,并通过卷积神经网络将用户分为激... 综合能源系统(IES)是实现“双碳”目标的重要手段,然而系统内部不同类型用户用能行为各异,使得IES协调优化与低碳运行难度增加.为了充分发挥用户的主观能动性,基于用户行为分析对IES的用户行为进行建模,并通过卷积神经网络将用户分为激进型和保守型.构建IES运营商决策模型,确定电热能源的供应方式,针对不用类型用户设计相应的能源套餐.基于实际数据分析上述模型和方法的有效性,验证了用户分类在IES低碳运行中的价值. 展开更多
关键词 用户分类 用户行为 综合能源系统 低碳运行
在线阅读 下载PDF
基于零信任架构与最小权限原则的配电终端物联网数据共享访问控制方法 被引量:3
11
作者 林奕夫 陈雪 +1 位作者 徐梦宇 陈云 《信息安全研究》 CSCD 北大核心 2024年第10期937-943,共7页
为最大程度保护配电终端物联网数据共享安全,提出基于零信任架构与最小权限原则的配电终端物联网数据共享访问控制方法.构建基于零信任的物联网数据共享访问控制框架,通过身份认证模块检验用户身份和访问控制权限,利用IDS模块辨别用户... 为最大程度保护配电终端物联网数据共享安全,提出基于零信任架构与最小权限原则的配电终端物联网数据共享访问控制方法.构建基于零信任的物联网数据共享访问控制框架,通过身份认证模块检验用户身份和访问控制权限,利用IDS模块辨别用户入网后的明显网络攻击行为,用户行为度量模块的行为信任度量代理,依据存储在信任度量数据库中的用户历史行为度量数据计算用户信任度,对用户的行为信任等级进行周期性评估,识别长期潜伏且高度隐蔽的网络攻击行为,基于行为信任的访问决策代理以用户信任等级为依据,依据最小权限原则进行用户-角色分配,制定和实施访问决策;物联网控制器根据信任度量结果动态调整用户资源访问的权限,通过发送流表的方式实现用户配电终端物联网资源访问权限的动态调整.实验结果表明,该方法能够准确控制物联网数据的共享访问,且综合性能更全面,在完成用户访问任务的同时拥有的冗余权限最少,既满足了用户访问要求又保证了网络数据安全. 展开更多
关键词 零信任架构 最小权限原则 配电终端 物联网 用户信用度 冗余权限
在线阅读 下载PDF
基于AARRR模型的室内云设计平台用户运营策略研究
12
作者 蒋静璇 黄艳丽 李瑞雪 《家具与室内装饰》 北大核心 2024年第5期88-92,共5页
随着互联网技术的飞速发展,云设计和物联网等技术正深刻改变着室内家装设计行业的运营模式。而AARRR模型作为了解用户全生命周期并充分挖掘用户价值的关键模型之一,是室内云设计平台进行用户运营的重要依据。本文基于AARRR模型建构了室... 随着互联网技术的飞速发展,云设计和物联网等技术正深刻改变着室内家装设计行业的运营模式。而AARRR模型作为了解用户全生命周期并充分挖掘用户价值的关键模型之一,是室内云设计平台进行用户运营的重要依据。本文基于AARRR模型建构了室内云设计平台用户运营的机制,从用户的获客、激活、留存、变现以及自传播五个关键阶段,分别提出了阶段性的运营策略,并以酷家乐为例验证了其可行性,期望帮助室内云设计平台实现用户生命周期价值的最优化,也为其他室内云设计平台制定用户运营策略时提供参考借鉴。 展开更多
关键词 室内云设计平台 AARRR模型 用户运营 运营策略
在线阅读 下载PDF
论茶企在互联网转型中“用户运营”思维的缺失
13
作者 贺志强 《茶叶》 2024年第3期168-172,共5页
本文结合近10余年的企业互联网转型中的实际问题,以及新媒体广泛普及过程中企业同质化竞争的困境,提出了用户运营思维对于企业的可持续发展、产品创新以及市场扩张的底层意义和长期价值。
关键词 用户运营 互联网 新媒体 市场营销
在线阅读 下载PDF
面向用户侧不同用电群体的低碳运行用电策略
14
作者 甘海庆 任禹丞 +1 位作者 杨子跃 马灵涓 《现代电力》 北大核心 2024年第5期963-970,共8页
“双碳”目标的持续推进对用户侧能源消费提出了新的要求,传统用电方式将逐渐向低碳化、清洁化发展。为了应对用户的低碳用电需求,提出一种面向用户侧不同用电群体的低碳运行用电策略。首先,分析用户用电行为特征,结合有损网络的碳排放... “双碳”目标的持续推进对用户侧能源消费提出了新的要求,传统用电方式将逐渐向低碳化、清洁化发展。为了应对用户的低碳用电需求,提出一种面向用户侧不同用电群体的低碳运行用电策略。首先,分析用户用电行为特征,结合有损网络的碳排放流理论,构建低碳运行用电策略模型,并制定经济性评价指标。其次,依据节点碳势变化特性,采用蚁狮优化算法对模型进行求解,准确获取不同用户的低碳用电策略。最后,采用IEEE14节点系统对所提模型及方法进行仿真分析,进一步验证所提低碳运行用电策略的有效性。 展开更多
关键词 用户侧 低碳运行 用户群划分 新能源消纳 碳排放流理论 蚁狮算法
在线阅读 下载PDF
CSCW集成系统中用户权限安全管理方法的研究 被引量:7
15
作者 邵秀丽 董沙莎 +1 位作者 刘明铭 涂奉生 《计算机工程》 CAS CSCD 北大核心 2003年第3期66-68,共3页
在计算机支持协同工作的系统中,关键的技术问题之一就是用户权限的管理。系 统中的任何用户的操作权限都是不完全一致的。因此,文章陈述了通过实际工程项目的设 计 和开发获得的一些经验,创新地提出了一种适用于各种CSCW环境下的、... 在计算机支持协同工作的系统中,关键的技术问题之一就是用户权限的管理。系 统中的任何用户的操作权限都是不完全一致的。因此,文章陈述了通过实际工程项目的设 计 和开发获得的一些经验,创新地提出了一种适用于各种CSCW环境下的、兼具实用性与灵 活性 的用户权限管理方法,以及用该方法来构筑CSCW环境的设计思路。这种权限管理方法 从任务 处理单元和数据信息两个方面对用户的访问权限进行了控制,极好地支持了有协同 工作需求 的企业管理业务的完成。更主要的是使系统满足了企业管理创新的组织结构柔性 化和管理组 织结构正在变"扁"变"瘦"的需要。 展开更多
关键词 CSCW 用户权限 任务处理单元 数据信息 集成系统 安全管理 计算机集成制造系统
在线阅读 下载PDF
多政策的两层协同应用存取控制模型 被引量:19
16
作者 袁平鹏 陈刚 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2004年第4期420-426,共7页
总结了国内外存取控制研究 ,分析了目前基于角色的存取控制应用于协同系统时存在的一些问题 针对这些问题 ,给出了一个用于协同应用系统的存取控制框架 该框架包括两个子部件 :基本模型和角色模型 基本模型规定了操作权限之间的依赖关... 总结了国内外存取控制研究 ,分析了目前基于角色的存取控制应用于协同系统时存在的一些问题 针对这些问题 ,给出了一个用于协同应用系统的存取控制框架 该框架包括两个子部件 :基本模型和角色模型 基本模型规定了操作权限之间的依赖关系以及如何进行操作权限比较 ,并将权限与对具体对象的操作相关联 ,使得该模型较为直观 此外只要系统中Broker的实现支持 ,该模型能够实现任意粒度级的存取控制 角色模型对RBAC96的角色概念重新给予了定义 ,将角色的允许集划分为三部分 :公共权限、私有权限和保护权限 角色允许集的划分使用户可以更加灵活地定义角色 ,方便地控制角色的私有信息不被其他角色所访问 。 展开更多
关键词 存取控制 操作集 权限值 角色模型 协作系统 CSSA存取控制模型 权限格 两层协同应用存取控制模型 基本模型
在线阅读 下载PDF
面向复杂信息系统的用户管理策略 被引量:8
17
作者 孙宏波 颜波 +1 位作者 黄必清 郑国勤 《计算机集成制造系统》 EI CSCD 北大核心 2004年第F12期105-113,共9页
网络环境下的复杂信息系统,在开放、半开放环境下普遍面临着客户端权限确认、权限属性定义、动态权限设置以及主动保护等问题,而传统用户管理静态权限设置和直接授权的模式很难解决这些问题。为此,提出了基于权限对象的用户管理策略,将... 网络环境下的复杂信息系统,在开放、半开放环境下普遍面临着客户端权限确认、权限属性定义、动态权限设置以及主动保护等问题,而传统用户管理静态权限设置和直接授权的模式很难解决这些问题。为此,提出了基于权限对象的用户管理策略,将用户管理过程分为身份证实、权限控制和操作监控等三个阶段。身份证实阶段主要解决开放、半开放环境下的用户身份认证问题;权限控制阶段引入权限对象,有效地解决了权限属性定义、动态权限指派、客户端权限确认等问题;监控阶段则重点解决主动保护问题。 展开更多
关键词 用户管理 权限对象 权限控制 复杂信息系统
在线阅读 下载PDF
Windows Vista操作系统安全性技术研究 被引量:5
18
作者 罗晓波 李波 徐良华 《计算机工程与设计》 CSCD 北大核心 2008年第4期807-811,共5页
为提高操作系统的安全性,Windows Vista对早期版本的一些安全特性进行了增强,并增加了很多全新的安全特性,如:用户账户控制、最小权限策略、数据保护、安全启动、网络访问保护等。通过研究这些安全特性的机制原理和实现过程,对Vista操... 为提高操作系统的安全性,Windows Vista对早期版本的一些安全特性进行了增强,并增加了很多全新的安全特性,如:用户账户控制、最小权限策略、数据保护、安全启动、网络访问保护等。通过研究这些安全特性的机制原理和实现过程,对Vista操作系统的安全性做了一个整体的概括,并分析了一些安全机制可能存在的脆弱性。 展开更多
关键词 操作系统 用户账户控制 安全启动 最小权限策略 网络访问保护
在线阅读 下载PDF
一个支持可信主体特权最小化的多级安全模型 被引量:14
19
作者 武延军 梁洪亮 赵琛 《软件学报》 EI CSCD 北大核心 2007年第3期730-738,共9页
对已有多级安全模型的可信主体支持进行回顾和分析,提出了DLS(离散标记序列)多级安全模型.该模型将可信主体的生命周期分解为一系列非可信状态,对每一个状态赋予一个敏感标记.可信主体的当前敏感标记等于当前非可信状态的敏感标记,非可... 对已有多级安全模型的可信主体支持进行回顾和分析,提出了DLS(离散标记序列)多级安全模型.该模型将可信主体的生命周期分解为一系列非可信状态,对每一个状态赋予一个敏感标记.可信主体的当前敏感标记等于当前非可信状态的敏感标记,非可信状态的切换由预定义的可信请求事件触发.从而可信主体的当前敏感标记可以根据其应用逻辑而动态调整.同时给出了模型保持系统安全性的安全状态和规则.与Bell模型等可信主体敏感标记范围模型相比,该模型在多级安全的策略范围内实现了可信主体的特权最小化. 展开更多
关键词 多级安全 可信主体 最小特权 操作系统安全
在线阅读 下载PDF
基于广义污点传播模型的操作系统访问控制 被引量:7
20
作者 杨智 殷丽华 +3 位作者 段洣毅 吴金宇 金舒原 郭莉 《软件学报》 EI CSCD 北大核心 2012年第6期1602-1619,共18页
动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized t... 动态调整安全级是目前提高强制访问控制模型可用性的主要途径,它大致包括两类方法.其中,安全级范围方法对主体权限最小化的支持不够,而污点传播方法存在已知隐蔽通道.提出了保护操作系统保密性和完整性的广义污点传播模型(generalized taint propagation model,简称GTPM),它继承了污点传播在最小权限方面的特点,拓展了污点传播语义,以试图关闭已知隐蔽通道,引入了主体的降密和去污能力以应对污点积累;还利用通信顺序进程(CSP)语言描述了模型的规格,以明确基于GTPM的操作系统的信息流控制行为的形式化语义;基于CSP的进程等价验证模型定义了可降密无干扰,并借助FDR工具证明形式化构建的抽象GTPM系统具有可降密无干扰安全性质.最后,通过一个示例分析了模型的可用性提升. 展开更多
关键词 污点传播 隐蔽通道 通信顺序进程 无干扰 最小权限 信息流控制 操作系统
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部