科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
王勇; 易翔; 李凯; 刘美林;
北京工业大学计算机学院;
可信计算; 可信网络; 可信连接架构; 形式化验证; 进程代数;
机译:回传架构模型,用于通过不可信或可信网络进行安全连接
机译:可信连接架构模型
机译:用于基础架构即服务的可信云计算架构:调查和系统文献回顾
机译:基于虚拟机架构的可信连接系统
机译:使用基于硬件的无信任技术设计安全可信赖的芯片体系架构
机译:Trypanosoma brucei Flagella连接器的3D架构移动跨膜连接
机译:时间触发架构的形式化验证综述
机译:利用伪码的形式化验证建立算法代码实现的高可信度
机译:基于三元对等体认证的可信网络连接架构平台认证方法
机译:可信连接架构的平台认证策略管理方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。