论文部分内容阅读
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖约束进行说明.使用Petri网的可达到性分析技术对RBAC策略进行正确性验证.
基于Petri网的RBAC策略验证的研究
【摘 要】
：
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖约束进行说明.使用Petri网的可达到性分析技
【机 构】
：
广东商学院,复旦大学
【出 处】
：
小型微型计算机系统
【发表日期】
：
2004年5期
其他文献
基于网络中结点错误概率,提出一种新的概率分析方法,对网络中点对点的路由算法的容错性概率、路径长度、算法复杂性进行严格的推导.以超立方体网络为分析的网络拓扑,提出在其
安全是无线传感器网络广泛应用的前提.详细介绍和分析了无线传感器网络安全系统的挑战及最新研究进展,提出了基于生物免疫原理的无线传感器网络安全系统体系结构,并具体阐述
在基于消息传递的并行模型中,通信密集型的应用通常存在大量进程切换的问题.针对集群环境中大量的周期性地进行全局同步操作的应用,传统采用的等待阻塞策略由于没有考虑到应
本文旨在对杨宝元教授治疗胸痹临床经验进行总结,杨宝元教授以擅长治疗心脑血管疾病著称,有扎实的中医理论基础和丰富的临床经验,认为胸痹病机＂阳微阴弦＂,胸阳不振,虚、寒、瘀
目的观察疏肝健脾安神方对功能性消化不良（FD）伴焦虑抑郁患者的治疗效果和血浆胃动素（MTL）及P物质（SP）的影响。方法将119例FD伴焦虑抑郁的患者随机分为治疗组和对照组,分别给予疏肝