作者：司冠南

关键词：网构软件 ; 可信性 ; 信任演化 ; 贝叶斯网络 ; Petri网

论文级别：博士

学位年度：2012

作者：杨霞

关键词：多级安全关键嵌入式系统 ; 操作系统体系架构 ; 可信计算 ; 嵌入式可信操作系统 ; 多级安全 ; 时空隔离 ; 分区机制

论文级别：博士

学位年度：2010

作者：饶翔

关键词：大规模分布式软件系统 ; 可信保障 ; 故障定位 ; 日志分析

论文级别：博士

学位年度：2011

作者：龚雷

关键词：信息安全等级保护 ; 应用安全 ; 安全体系结构 ; 可信计算 ; 安全操作系统 ; 安全隔离 ; 无干扰 ; 安全管道

论文级别：博士

学位年度：2013

作者：刘婷婷

关键词：云计算 ; 数据安全 ; 认证协议 ; 数据完整性验证 ; 安全问责 ; 信息流控制 ; 可信云计算

论文级别：博士

学位年度：2013

作者：朱锐

关键词：Web服务 ; 服务组合 ; 可信 ; 服务质量 ; 服务选择策略 ; 服务组合方案 ; 事务补偿 ; 访问控制

论文级别：博士

学位年度：2009

作者：覃志东

关键词：软件统计测试 ; 软件可信性 ; 软件可靠性 ; 软件防危性 ; 运行剖面 ; 关联风险剖面 ; 加速剖面 ; 软件可靠性验证测试 ; 软件防危性增长测试 ; 软件防危性验证测试

论文级别：博士

学位年度：2005

作者：李兆婧

关键词：无线自组织网络 ; 可信模型 ; 可信路由 ; 无线自组织网按需距离矢量路由协议(AODV) ; 路由性能

论文级别：硕士

学位年度：2009

作者：杨仕平

关键词：防危技术 ; 多级关键度 ; 时空隔离 ; 实时网络 ; 时间触发 ; 防危性测评 ; 实时系统 ; 调度分析 ; 实时操作系统 ; 任务关键

论文级别：博士

学位年度：2004

作者：叶海智

关键词：分布式关键任务系统 ; 自律计算 ; 检测 ; 决策 ; 恢复

论文级别：博士

学位年度：2010