郑国梁 冯颖 陈家骏 陈建海 许皓 李勇 徐雄斌 胡德强

形式化 安全级 电磁兼容 复杂的可编程逻辑器件 扩充 Z语言 电源系统 电源模块 并发对象 热插拨 面向对象 多级安全模型 增强型并口（EPP） 标准型并口（SPP） 规格说明 独立存取控制 容错 多总线 强制存取控制 并发 数据库安全

南京大学计算机科学与技术系 七○九所 武汉数字工程研究所 印第安那大学计算机科学系 Oracle公司Internet服务部