CSpace

浏览/检索结果: 共3条,第1-3条 帮助

已选(0)清除 条数/页:   排序方式:
基于描述逻辑DL_(RBAC)的RBAC形式化模型 期刊论文
北京航空航天大学学报, 2010, 卷号: 000, 期号: 011, 页码: 1315
作者:  马丽;  马世龙;  眭跃飞
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
访问控制  基于角色的访问控制  描述逻辑  
一种RBAC的描述逻辑表示方法 期刊论文
计算机科学, 2010, 卷号: 000, 期号: 003, 页码: 29
作者:  马丽;  马世龙;  眭跃飞;  伊胜伟
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
访问控制  角色  权限  描述逻辑  角色继承  
收敛无穷计算及其应用 期刊论文
北京航空航天大学学报, 2002, 卷号: 28.0, 期号: 005, 页码: 481
作者:  李未;  马世龙;  眭跃飞;  许可
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
计算  极限  收敛无穷计算  过程模式  无穷序列