切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于安全进程代数的信息流模型
基于安全进程代数的信息流模型
来源 :信息工程大学学报 | 被引量 : 0次 | 上传用户:wwwygtwww
【摘 要】
:
文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性.
【作 者】
:
尹青
周伟
郭金庚
【机 构】
:
信息工程大学
【出 处】
:
信息工程大学学报
【发表日期】
:
2004年3期
【关键词】
:
安全进程代数
信息流安全
无干扰
不可演绎
process algebra
information flow security
no-interferenc
【基金项目】
:
国家高技术研究发展计划(863计划)
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章在安全进程代数理论框架内讨论信息流安全模型.基于进程代数语义理论,研究了无干扰性质及不可演绎性质的构造、关系及可复合性.
其他文献
一种基于IIR信道的盲均衡新算法
文章提出了盲均衡的一种快速算法.该算法基于将通信信道建模成IIR信道,并在信道输出端过采样将信道转化成具有相同系数的AR子系统和SIMO FIR 子信道的级联,通过对AR子系统和S
期刊
IIR信道
盲均衡
过抽样
恒模算法
IIR channel
blind equalization
oversampled
CMA
镉胁迫对水稻幼苗生长的影响
采用25、50和100μmol/L3种Cd浓度对6个水稻品种的水培幼苗胁迫处理5d,结果表明:6个水稻品种幼苗的最长根长,苗高,单株鲜重和单株干重均受到明显抑制,抑制效应大小为最长根长
期刊
镉胁迫
水稻
幼苗生长
Cadmium stress
Rice
Seedling growth
工程图多媒体课件的制作经验与技巧
制图多媒体课件是制图课程教学改革的一项重要途径,而多媒体课件制作的方法和水平直接影响着授课的教学效果,本文则根据制图课程自身的内容体系以及每部分具体内容结构要求的
期刊
工程图
多媒体课件
制作技巧
engineering chart
multi-media teaching program
technique of cre
活性教育:中职计算机技能创意教学探讨
计算机技术发展迅猛,针对当今中职学生面临“学不能用”或者“学不够用”的尴尬处境的具体情况,对其技能的教学引入“活性教育”的新创意理念。本文通过对“活性教育”的概念的
期刊
活性教育
创意
教学
转移技能
防火墙与入侵检测的联动及其改进
文章介绍了防火墙与入侵检测系统和它们的优缺点,根据防火墙与入侵检测系统的缺点,详细介绍了防火墙如何与入侵检测联动.根据联动后系统运行缓慢,CPU占有量很大的缺点,分析了
期刊
防火墙
入侵检测
零拷贝
SNORT
libtable
firewall
invasion check
zero copy
snort
libt
CESI-Verigy集成电路测试验证实验室瞄准中国高端芯片测试
日前,半导体测试公司惠瑞捷(Verigy)与中国电子技术标准化研究所(CESI)在北京联合宣布“CESI—Verigy集成电路测试验证实验室”正式成立,旨在满足北京乃至国内高端芯片测试方面日益
期刊
芯片测试
集成电路
实验室
中国
验证
标准化研究所
半导体测试
CESI
基于关联规则算法的教务管理数据挖掘
本文首先介绍了关联规则数据挖掘的概念,分析了关联规则挖掘的核心算法Apriori,将该算法用于教务管理数据的分析处理,得出数据集中隐含的模式,以期对学校教务管理者提供决策支持
期刊
关联规则
教务管理
APRIORI
频繁项集
大联大受惠大陆市场 4月营收较去年同期大幅成长
亚太地区最大的半导体零组件渠道商大联大投控集团耕耘中国大陆内需市场有成,受惠于中国本土品牌手机及消费性电子市场销售持续成长,大联大4月份合并营收约计3亿4仟5佰万美元,分
期刊
大陆市场
营收
中国大陆
消费性电子
内需市场
亚太地区
持续成长
市场销售
大联大投控集团
《可编程逻辑器件原理与应用》教学与实践
文中介绍了《可编程逻辑器件原理与应用》课程的特点、教学内容、教学安排以及实验安排,总结了教学实践中的体会。
期刊
可编程逻辑器件
课程教学
实践教学
面向分布式任务的信息化建设风险分析
在信息化建设风险管理中,传统风险分析方式根据逻辑或物理实体定义风险分析范围,忽略了导致任务间冲突的风险。文章从信息化建设分布式协作的模式出发,考虑了信息化建设中各
期刊
信息化建设
分布式任务
贝叶斯网络
风险分析
information construction
distributed task
Bayesian ne
与本文相关的学术论文