检索结果-维普期刊中文期刊服务平台

基于动态权限集的Android强制访问控制模型: 1; 作者徐潜谭成翔《计算机科学》 CSCD 北大核心 2015年第11期191-196,221,共7页; 针对Android存在的特权提升攻击问题,提出了基于动态权限集的Android强制访问控制模型DP_ManDroid。该模型首先分析强连通分支的权限分布特性,构建动态的权限集划分;然后在信息流与权限集耦合的基础上,抽象权限提升路径;最后提出线性时... 展开更多; 关键词特权提升攻击强连通分支通信网络拓扑结构权限提升路径动态权限集; 在线阅读下载PDF 职称材料

无冲突Petri网系统活标识判定的结构化方法被引量：1: 2; 作者徐颖蕾《计算机应用研究》 CSCD 北大核心 2023年第5期1447-1451,1458,共6页; 为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;... 展开更多; 关键词 PETRI网无冲突活标识强连通分支; 在线阅读下载PDF 职称材料

有向循环图G（n，α_1，α_2）中哈密顿圈的存在性判别及其结构: 3; 作者杨启帆《浙江大学学报（自然科学版）》 CSCD 1995年第4期397-405,共9页; 本文详尽讨论了有向循环图Ｇ（ｎ，α_１，α_２）存在哈密顿圈的充分必要条件，并揭示了其中哈密顿圈的组合结构。我们还构造了一个Ｏ（ｎ３）算法，当Ｇ（ｎ，α_１，α_２）为哈密顿图时，算法可求出它的所有哈密顿圈．; 关键词有向循环图强连通分支哈密顿圈存在性; 在线阅读下载PDF 职称材料

有限随机系统的极限性质: 4; 作者王芳秦永彬许道云《计算机应用与软件》 CSCD 北大核心 2014年第3期235-238,307,共5页; 有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立该随机系统的商系统。在商系统中,根据不完整子系统概率矩阵的特征,引入弱概率矩阵的定义,并结合弱概率矩阵的极限性质,考察商系统对应的概率矩阵的极... 展开更多; 关键词弱概率矩阵商系统不完整子系统强连通分支; 在线阅读下载PDF 职称材料

题名基于动态权限集的Android强制访问控制模型: 1; 作者徐潜谭成翔; 机构同济大学电子信息工程学院; 出处《计算机科学》 CSCD 北大核心 2015年第11期191-196,221,共7页; 文摘针对Android存在的特权提升攻击问题,提出了基于动态权限集的Android强制访问控制模型DP_ManDroid。该模型首先分析强连通分支的权限分布特性,构建动态的权限集划分;然后在信息流与权限集耦合的基础上,抽象权限提升路径;最后提出线性时间的访问控制算法,并通过动态追踪权限集,实现了细粒度的决策控制。与现有安全模型的对比,以及在原型系统上的仿真结果表明,所提出的安全模型很好地抵御了特权提升攻击,同时降低了时间复杂度。; 关键词特权提升攻击强连通分支通信网络拓扑结构权限提升路径动态权限集; Keywords Privilege escalation attack, Strongly connected component, Communication network topology, Privilege esca- lation path,Dynamic privilege set; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名无冲突Petri网系统活标识判定的结构化方法被引量：1: 2; 作者徐颖蕾; 机构山东财经大学计算机科学与技术学院; 出处《计算机应用研究》 CSCD 北大核心 2023年第5期1447-1451,1458,共6页; 基金山东省自然科学基金资助项目(ZR2020MF137)。; 文摘为了有效求解无冲突Petri网系统活标识的判定及配置优化问题,提出无冲突Petri网系统活标识判定的一种结构化方法。该方法首先求取无冲突Petri网的各强连通分支;然后对每一含有元素个数大于2的强连通分支求取其无同步变迁库所索引集合;最终得到无冲突Petri网系统的无前置库所索引集合,基于该库所元素集合即可实现对活标识的快速判定及配置优化。通过例子具体说明了该方法的实现及应用。分析结果表明,所提方法具有多项式时间复杂度,较易于操作和程序化实现。; 关键词 PETRI网无冲突活标识强连通分支; Keywords Petri net conflict-free live marking strongly connected component; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名有向循环图G（n，α_1，α_2）中哈密顿圈的存在性判别及其结构: 3; 作者杨启帆; 机构浙江大学数学系; 出处《浙江大学学报（自然科学版）》 CSCD 1995年第4期397-405,共9页; 基金国家自然科学基金; 文摘本文详尽讨论了有向循环图Ｇ（ｎ，α_１，α_２）存在哈密顿圈的充分必要条件，并揭示了其中哈密顿圈的组合结构。我们还构造了一个Ｏ（ｎ３）算法，当Ｇ（ｎ，α_１，α_２）为哈密顿图时，算法可求出它的所有哈密顿圈．; 关键词有向循环图强连通分支哈密顿圈存在性; Keywords cicculant digraph strongly connected components hamiltoninan cycles travelling salesman problem efficient algorithm; 分类号 O157.5 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名有限随机系统的极限性质: 4; 作者王芳秦永彬许道云; 机构遵义医学院医学信息工程系贵州大学理学院贵州大学计算机科学与信息学院; 出处《计算机应用与软件》 CSCD 北大核心 2014年第3期235-238,307,共5页; 基金国家自然科学基金项目(60863005 61262006) +1 种基金贵州大学引进人才科研项目(贵大人基合字(2011)14号); 文摘有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立该随机系统的商系统。在商系统中,根据不完整子系统概率矩阵的特征,引入弱概率矩阵的定义,并结合弱概率矩阵的极限性质,考察商系统对应的概率矩阵的极限性质。在保留原有随机系统的极限性质的前提下极大地降低了计算复杂度。; 关键词弱概率矩阵商系统不完整子系统强连通分支; Keywords Weak probability matrix Quotient system Incomplete subsystem Strongly connected component; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料