安全系统的有限自动机

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:BlueWindow
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于交易器的开放网络环境可以实现异种机、异种数据库和异种网的互操作,以客户/服务器模型工作。在这种开放网络环境中,安全性是非常重要的。文中首先介绍了该环境中的安全系统;然后给出了这个安全系统的有限自动机。该自动机模拟了安全系统,为安全系统的行为描述和结构设计提供理论依据和讨论。
其他文献
<正> 我院1975~1989年收治头颈部横纹肌血管瘤49例,均经病理证实,报道如下。 1 临床资料 男35例,女14例。年龄5~46岁,其中35岁以下41例。部位:胸锁乳突肌14例,嚼肌12例,斜方肌9
老年高血压动态心电图分析Analysisofdynamicelectrocardiogramofhypertensioninoldages王丽欣(第三军医大学附属新桥医院心电图)630037关键词老年高血压;DCG监测中图法分类号R541高血压(EH...
建构主义理论认为,学习是建构内在心理表征的过程,是一种能动建构的过程,这种学习更加强调学习的主动性、社会性、情景性和协作性.在化学教学中应注重意义的主动建构、合作学
针对并购目标决策问题,利用DEA方法构建成本节约和利润提升协同效应模型,再将成本协同效应和利润协同效应综合为协同价值,并给出并购方案优劣排名。最后通过算例以明确并购方
1166名献血(浆)者血清抗-HCV、HBsAg及抗-HIV检测报告Areportofanti-HCV,HBsAgandanti-HIVdetectionin1166blooddonators李兵,林武存,杨民(第三军医大学附属西南医院输血科)重庆,...
当前 ,在大学生中出现的追求物质享受和高消费的不良倾向 ,必须引起教育界和全社会的高度重视。本文着重就这一倾向性问题产生的原因及带来的严重后果进行分析 ,并提出纠正这
抗衰七宝液对老年虚证治疗及延缓衰老作用的临床观察戴裕光,杨国汉,周海鹰,谢培元,高唱(第三军医大学大坪医院中医科)630042抗衰七宝液经动物实验证实,其对机体有抗应激、抗脂质过氧化及增
介绍了一种短波单边带PSM广播发射机中采用的新型高效、优质调制器-脉冲阶梯调制器,从理论上分析了PSM的小信号失真,提出了PDM补偿方法。并采用新型的通用可编程逻辑门阵列器件设计并制作
肾穿标本的制片方法改进及其荧光显微镜观察的体会Modifiedsectioningmethodofrenalbiopsysampleandexperiencesofitsobservationwithfluorescentmicroscope王晓东,...
将齿轮副侧隙划分为随机变量侧隙和随机相位侧隙两分部。利用简化模型重点讨论了随机相位侧隙,它是一个平稳随机过程。验证了小模数齿轮国家标准隙基本计算式,依概率了任一时刻