QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 内容类型：期刊论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于可信计算的全舰计算环境安全增强研究 期刊论文 舰船科学技术, 2020, 卷号: 42, 期号: 13, 页码: 125-129 作者:  尚文利;  邢祥宇;  刘贤达;  尹隆;  高恩阳 收藏  |  浏览/下载：9/0  |  提交时间：2020/08/08 全舰计算环境  可信计算  可信软件栈  安全增强   基于模型检测的可信软件栈测试 期刊论文 武汉大学学报(理学版), 2010, 卷号: 56, 期号: 2, 页码: 129-132 作者:  何凡;  张焕国;  严飞;  杨飏;  汪红 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/04 可信计算平台  可信软件栈  模型检测  计算树逻辑  一致性测试   基于参数依赖关系检查的测试用例空间约简方法 期刊论文 北京工业大学学报, 2010 陈亚莎; 叶清; 廖建华 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12 软件测试  依赖关系  符号执行  可信软件栈   基于模型检测的可信软件栈测试 期刊论文 武汉大学学报（理学版）, 2010, 卷号: 56, 期号: 2 作者:  何凡;  杨飏;  张焕国;  严飞;  汪红 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 可信计算平台  可信软件栈  模型检测  计算树逻辑  一致性测试   可信密码模块的密钥服务兼容性研究与实现 期刊论文 计算机科学, 2010, 期号: 6 作者:  蒋敏慧;  黄宁玉;  祝璐 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 可信平台模块  可信密码模块  可信软件栈  密钥管理  兼容性   可信计算软件栈的体系研究 期刊论文 楚雄师范学院学报, 2006 作者:  孙琪;  杨昌;  张淼;  沈志东;  张焕国 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/05 可信计算  可信计算平台  可信计算软件栈