机译:安全隔离区域的设计和验证方法
Enclave Programs; Secure Computation; Confidentiality; Formal Verification;
机译:安全隔离区域的设计和验证方法
机译:基于模糊逻辑的控制方法,可确保微电网在互连和隔离模式下安全运行
机译:基于模式的安全服务组合的设计和验证
机译:新逻辑设计中非隔离有源区触点缺陷隔离的研究和方法
机译:用于安全计算的系统设计和验证方法。
机译:在孤立的非洲人后裔社区中慢性肾脏病和合并症的患病率(PREVRENAL):一项队列研究的方法设计
机译:虚拟化VoIP的设计与验证测试,支持安全语音通信