动态环境中的概率信息流安全

来源 :西安交通大学学报 | 被引量 : 0次 | 上传用户:wxyz9876
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在概率安全进程代数的基础上,研究了概率系统在动态环境中的信息流安全,以解决可动态配置的恶意进程对系统带来的危害.同时,提出了动态环境中的概率互拟复合不可演绎性质,即持久P_PBNDC.使用敌意环境下的弱概率互拟和动态敌意环境等概念讨论了P_PBNDC是概率系统在动态环境中合适的信息流安全性质,该性质能够揭露出概率互拟复合不可演绎性质(PBNDC)所不能暴露的潜在的安全隐患.最后,证明了PPBNDC和SBSPNI性质的一致性,在限制算子和前缀算子下的P_PBNDC具有复合性质,而在并行算子下不具有复合性质.
其他文献
24例腹腔恶性淋巴瘤临床分析金辉,黄毓琪腹腔恶性淋巴瘤是原发于胃肠道淋巴组织或腹腔内腹后壁淋巴组织的恶性肿瘤。其临床表现无特异性,不易早期诊断,常以消化道癌肿、克隆氏病、
内镜鼻胆管引流治疗重症急性胆管炎可使病死率由32%降到10%。普通鼻胆管引流由于引流管较细易于堵塞,在胆管内不易长期保留而脱落,胆汁外引流过多易致胆汁丢失综合症等缺点。作者根据
本文采用Howell氏一步法,对20例子宫内膜癌与10例子宫内膜增殖症嗜银蛋白定量研究,作单纯计数、团块形及不规则形颗粒计数,结果AgNORs均数,增殖症组(5.06±0.66±、0.71±0.47、0.81±0.47),腺癌组(6.35±、2.45&#
本文回顾1991年6月至1993年10月以纳洛酮为主,抢救急性海洛因中毒者163例资料,除1例死亡外余均于短时内恢复。抢救成功率为99.4%。初步探索了一套依呼吸抑制的程度应用纳洛酮不同剂量的抢救措施。
针对煤焦催化气化中传统的动力学模型不再适用这一情况,以广泛应用于煤焦气化动力学研究的随机孔模型为基础,考虑了催化剂对反应过程的催化作用,通过引入催化作用因子,建立了适用
训化中华按蚊、大劣按蚊吸食恶性疟原虫体外培养液的观察云南省疟疾防治研究所李宗惠关键词恶性疟原虫,体外培养人和按蚊是恶性疟原虫生活史中的两个宿主,随着Trage及Jonsen体外连续培养恶
有足够的理由相信,每个小孩出全的时候都是智力超群、想象力豐富、身体强壮的优良儿童,随着他们一天天的长大,他们的智商便会随着那些愚蠢的知识而变得低下,他们的想象力也会随着人为的约束而变的平庸,他们的身体因各种养分而变得虚弱。  一个孩子在3岁的时候可以讲出各种美丽的童话,他认为任何东西都是有生命的,他可以跟动物交流感情。  一个25岁的成年人早已经不相信童话了,他认为除了自己,任何东西都没有生命。动
1范围本标准规定了玉米收获机的质量评价指标、试验方法和检验规则。本标准适用于各级质量检验部门对玉米收获机进行质量评价。本标准适用于自走式、悬挂式和牵引式玉米收获
1.农业发展新阶段本世纪头20年,是我国全面建设更高水平的小康社会,实现国家现代化建设承上启下的历史发展新阶段.通过推动经济结构的战略性调整,要基本实现工业化,大力推进
小儿急性颅脑损伤83例诊治体会建水县人民医院外科赵来云我科自1990年起至1992年止共收治颅脑损伤258例,其中儿童83例,占全部病例的32.2%,现将诊治体会总结如下:临床资料1.性别与年龄:男55例,女28例,3个月~3岁13例,3~6岁