安全应用系统的形式化规范与求精过程研究

来源 :信息网络安全 | 被引量 : 13次 | 上传用户:baobei_jing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化方法是提高系统安全等级必不可少的保障技术。然而,由于诸多原因,它在安全应用系统开发过程中的应用尚不普及。本文将以Z语言为依托,以Mondex电子钱包系统为范例,探讨形式化方法在安全应用系统开发过程中的应用方法和过程。
其他文献
加强廉政文化建设.是以胡锦涛同志为总书记的党中央在领导党风廉政建设和反腐败斗争中的一个重要创新。胡锦涛总书记强调.要把廉政文化建设作为建设社会主义先进文化的重要内容
方以智哲学思想的特点方任安方以智(1611—1671),安徽桐城人,是明末清初的著名学者、伟大思想家。他学贯古今,识参天地,集儒佛道三家之大成,合中西两学之会通,文、史、哲、经,诗、书、画、韵,天
【正】近期,国内正丁醇市场气氛持弱,价格稳中有跌。市场供应稳定,由于下游产品市场表现乏力,使得有效需求不佳,因此市场成交比较清淡。目前正丁醇厂家报价保持稳定,对市场信
奥运会信息系统不同于一般的应用系统,可以想象,在争分夺秒的赛场环境下,大容量、高可靠性的数据传输是多么的重要。然而,现在各种蠕虫、木马、后门病毒充斥着互联网,黑客们又在密切地扫描着网络上存在漏洞的系统,都想借助奥运会"扬名立万",
期刊
【正】《合成胶黏剂和胶黏带行业"十二五"发展规划》提出,胶黏剂行业将围绕产业、产品结构优化升级和节能减排等重点课题,实现六大发展目标。(1)产量和销售额保持平稳较快增
【正】亚洲乙二醇(MEG)市场现货交易气氛振荡,因原油价格的大跌使前期涨幅回落,六周的涨势由此结束。受原油走跌及下游需求不佳的打压,市场操作气氛下降,原料价格的跌势不断
3月23日,"感知应用创造价值"——2011神州数码网络有限公司(简称"DCN")渠道伙伴沟通会在北京拉开帷幕,并将在全国23个城市巡回举办。此次巡展活动是DCN开放合作、
社会发展中的语言畸变王严根语言是社会的产物,社会的变革总要对语言产生影响。处在当今世界政治、经济、科技、文化的发展空前活跃和国际性的合作、交流及信息传递日益频繁的
由工业和信息化部信息安全协调司、公安部网络安全保卫局指导,西安交通大学组织的第一届中国信息安全法律大会于2010年10月15日在西安交通大学学术交流中心隆重举行。本次大会本着"凝聚各界力量,繁荣信息安全法学发展,推动信息安全战略与法制建设"的指导思想,是我国信息安全法学领域第一次全国性学术会议。来自工信部、国家保密局、中国计算机安全专业委员会、中国法学会信息法学研究会、陕西省高级人民法院、陕西省知