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