沈宁
- 作品数：3 被引量：2H指数：1
- 供职机构：华中师范大学计算机学院计算机科学系更多>>
- 相关领域：自动化与计算机技术更多>>
- 需求干扰问题的研究
- 2007年
- 针对需求阶段的特征干扰,分析其中出现的问题,应用形式化的方法检测,并用实例说明。
- 沈宁陈利张凯
- 关键词：形式化
- 堆栈溢出的BLP形式化研究及实现被引量：2
- 2007年
- 堆栈溢出是一种在各种操作系统、应用软件中广泛存在普遍且危险的漏洞,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。从安全操作系统的角度分析了堆栈溢出的原理,以BLP模型为工具对堆栈溢出进行了形式化并在此基础上适当调整了该模型,从安全模型的层次上消除了堆栈溢出的隐患。最后给出了调整后的BLP模型在LSM(Linux security module)上的实现。
- 张凯杨晓艳沈宁
- 关键词：安全操作系统堆栈溢出形式化BLP模型LINUX安全模块
- 基于ER，DFD图的功能点度量方法
- 2007年
- 功能点分析是一种广泛使用的度量软件功能大小的方法,它不依赖于实现语言,度量出来的结果也可以在不用的开发过程中进行比较。ER图(Entity-Relationship Diagram)和DFD图(Data-Flow Diagram)是在结构化分析过程中导出的分析模型的形式。本文所提出的基于ER,DFD图的功能点度量方法是为了革除了传统的依靠手工操作所带来的种种弊端的同时可得到精确的量化结果,而且减轻了工作量,降低了各种风险。
- 陈利沈宁李小燕
- 关键词：FPDFD
