【摘 要】
：
本文用标准的Datalog程序表示信任管理系统SPKI/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状
【机 构】
：
北京信息职业技术学院软件工程系,北京100018
【出 处】
：
第七届中国可信计算与信息安全学术会议
论文部分内容阅读
本文用标准的Datalog程序表示信任管理系统SPKI/SDSI2.0的系统状态,以Datalog程序的最小Herbrand模型作为它的语义,定义了信任管理系统SPKI/SDSI2.0的安全分析模型,制定了状态转换的限制规则,该限制规则是可实现的,在此基础上对SPKI/SDSI2.0的权限泄露问题进行了全面的分析,证明了该问题是在多项式时间内可判定的;证明了一个状态对于权限r是否可靠依赖且仅依赖于关于权限r的可信主体集合,并给出了计算可信主体集合的算法.
其他文献
目的:探讨神经内科临床护理中应用优质护理的方法和效果.方法:选择我院神经内科2019年2月到2020年2月收治的100例患者作为研究对象,按照随机分组原则分为实验组和对照组,每组
《鲁滨逊飘流记》(连环画)、《寄小读者》、《爱的教育》、《历史人物故事》这些书,是我童年时代爱不释
“Robinson Crusoe” (comic strip), “send a small reader”, “
对于正常开放的游泳池,理想的游离残留氯水平为1.0ppm,最低为0.4ppm。非使用期间,每星期可一次达到高氟水平,达到5.0～10.0ppm。在这个“突击”消毒过程之后,惯例是将氯水平降
众所周知,矽肺病的形成和发展过程中,肺泡巨噬细胞起着很重要的作用。目前普遍认为,机体各组织中的巨噬细胞,都是由骨髓造血细胞产生的。骨髓中前单核细胞进入血液后,转变为
The plant PTR/NRT1 family comprises di/tripeptide and low affinity nitrate transporters; some members also recognize other substrates such as carboxylates,
目的:研究优质护理服务对帕金森病患者负性情绪的影响.方法:随机将2017年10月-2019年6月在我院收治的120例帕金森病患者分成对照组和观察组,每组各60例.对照组进行常规护理,
太平乡终于建立了烈士陵园。 1957年2月24日,杨柳返青,万里无云,山西省寿阳县太平乡赵家垴村的的男女老少,一个个怀着崇敬的心情,准备去参加在烈士陵园召开的纪念大会。会上
用户位置信息的准确度反比于用户的隐私保护安全系数k(privacy protection level),正比于查询服务质量;为了平衡由位置信息的准确性引起的隐私保护安全与查询服务质量之间的
果园周围不宜种植泡桐果园周围不宜种植泡桐，这是因为泡桐是果树紫纹羽病菌的主要寄主，会引起果树紫纹羽病的大发生，导致叶片黄化干枯，甚至植株死亡。本文摘自《落叶果树》１９９６年１期，作
落叶松毛在果树生产中的妙用实践证明，大果优质桃在北方匍匐栽培，比北运的南桃风味强上数倍，效益亦可观。但越冬需压枝缚绑、埋土、撤土，不仅用工量大，而且易遭鼠嗑、捂条霉变、劈