电子技术资料下载
热搜关键词: 数字信号处理RTOSC语言Linux射频电路
已收藏到:个人中心—我的下载—收藏
基于动态描述逻辑的UCON授权模型
使用控制(UCON)是下一代访问控制模型,其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述,对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理,提出UCON授权模型的逻辑模型,并提供了一个完整的授权实例,为模型的实际应用奠定一个较好的逻辑基础。关键词:使用控制;授权模型;动态描述逻辑;逻辑模型
猜您喜欢
上传资源
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门标签
TI 技术论坛
TI 在线培训
Qorvo 射频技术研习社
请先登录EEWorld账户再进行下载哦
您已成功下载!
精彩活动推荐,好礼等你拿~换一换
评论