机构

• 软件研究所 [2]

采集方式

• OAI收割 [2]

内容类型

• 期刊论文 [2]

发表日期

• 2002 [1]
• 2001 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 基于规则的软件过程事务模型 期刊论文  OAI收割 软件学报, 2002, 卷号: 13, 期号: 1, 页码: 24-32 沈备军; 陈诚; 居德华   |  收藏  |  浏览/下载：8/0  |  提交时间：2011/07/29 软件过程  软件过程事务  扩充事务模型  软件过程支持环境  正确性规则  software process  software process transaction  extended transaction model  PSEE  correctness criteria  正确性规则  软件过程  高级事务模型  Transaction Model  software process transaction  cooperative transaction  correctness criteria  transaction   经典BLP安全公理的一种适应性标记实施方法及其正确性 期刊论文  OAI收割 计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现  经典  安全操作系统  适应性  记实  实施方法  基础  访问控制规则  正确性证明  多级安全性  判定增加  敏感标记  基本安全  安全系统  灵活性  计算机  模型  理论  开发  构造  构成