Dynamic remote attestation; System call arguments clustering; Trust level evaluation;
机译:动态可重新配置的基于组件的系统上面向安全模型的证明
机译:云计算中基于用户策略的动态远程认证
机译:关于抽象论证语义的拓扑相关属性。对论证系统动力学的修正和扩展:基于除法的方法
机译:基于系统呼叫序列的动态远程认证
机译:使用基于机理的生物地球化学模型以及原位和遥感数据量化陆地生态系统的碳动态
机译:一种基于矩阵的方法使用随机扰动动力系统的密度函数序列来解决Frobenius-Perron逆问题
机译:远程证明动态系统属性:提供完整的系统完整性证据
机译:使用广域网连接基于RpC(远程过程调用)的分布式系统