【摘 要】
：
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失
论文部分内容阅读
在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了
其他文献
葡萄膜黑色素瘤是成人最严重的原发性恶性肿瘤之一.传统的治疗方法,包括手术、放射治疗和化学治疗效果都不是很理想.溶瘤腺病毒H101,能够特异性地在p53突变的肿瘤细胞中复制并杀伤肿瘤细胞,同时对正常细胞影响较少,且已由中国国家食品药品监督管理总局批准上市.为了研究H101对葡萄膜黑色素瘤的治疗效果,通过体外感染葡萄膜黑色素瘤细胞,发现H101能够显著抑制葡萄膜黑色素瘤细胞的增殖并促进细胞凋亡,抑制细
对涉密人员进行必要的保密教育培训,是做好人员管理的重要措施。通过培训,可以使涉密人员掌握必要的保密知识技能,提高保密责任感,自觉履行保密职责。保密教育培训的方式、内容直接影响涉密人员的培训质量。陕西烽火电子股份有限公司(以下简称"公司")在近期开展的涉密人员保密教育培训中,积极开拓思路,根据涉密人员业务工作的特点,"看人下菜",制定了不同的培训方案,取得了良好的培训效果。公司十分重视涉密人员的保密
The 14th IEEE International Conference on Data Mining(IEEE ICDM 2014)invites proposals for halfor full-day workshops to be held on December 14,2014.Workshops are expected to focus on new research dire
Thessaloniki,Greece,12th~14th October,2014http://delab.csd.auth.gr/wise2014/WISE is a peer-reviewed international conferences series which has so far established a solid community which aims at high q
密码学是研究确保信息的秘密性及真实性的技术,可被看作是信息安全的基础与核心。9基本概念第一组概念是明文和密文。明文是指原始的待加密消息,密文则是加密后的消息。如,张三要给王五传送的消息是"office",经过加密后传送的消息是"riilfh",那么office和riilfh便分别是明文和密文。第二组概念是加密和解密。加密是指从明文到密文的变换过程,解密是指从密文到
1引言近年来,手机、平板电脑等移动终端的功能日趋完善,越来越多的企业员工携带着自己的移动终端进入工作场所,使用这些移动终端处理工作,如收发电子邮件、处理工作文档等。在工作场所使用自有设备进行办公的BYOD(Bring Your Own Device——携带你自己的设备)观念逐渐兴起。但目前来看,BYOD是一把双刃剑,一方面,移动终端的使用的确为用户带来了实实在在的便利;而另一方面,尽管发展十分迅速
出版社:电子工业出版社出版时间:2014-01I S B N:9787121209499内容简介:米特尼克被称为"世界头号黑客",他传奇的人生成为业内和各大媒体津津乐道的话题。1995年联邦法院以25宗罪名起诉米特尼克,而且未经审判就将米特尼克关押了四年半,这是美国司法史上对一名高智商罪犯所采取的最严厉措施。出狱之后,米特尼克改邪归正,目前已成为世界著名的白帽子黑客,用自己的经验来指
密级鉴定是《保密法》授予省级以上保密行政管理部门的一项重要职权,随着泄密事件频发,案件查处中的密级鉴定工作日益繁重。本文设计并研发一套密级鉴定管理系统,在一定程度上提高了密级鉴定工作效率,并规范了鉴定流程。
新的一年又开始了。虽然已进入"三九"好几天了,但北京和全国许多地区入冬以来还未下一场雪。不仅天气比往年暖和,信息安全行业也非常火热。延续2013年一系列重大信息泄露事件的余温,2014年信息安全行业必将迎来发展的大年。2013年,以"斯诺登事件"为代表的重大信息安全事件在世界各国引起了巨大反响和恐慌,从政府部门、企业、社会组织和个人,无不对自己的信息安全问题感到担忧。加强网络信息系统和各类终端设备