点击购买,资源将自动在新窗口打开.
获取独家产品信息,尽享促销优惠!立即订阅,不容错过
* 限···时··优惠
我是系统安全研究人员。我的研究调查了软件和系统安全性的设计和评估,尤其是在新兴的计算平台以及它们运行的复杂物理环境上。为了实现我的研究目标,我将理论和实际问题与各种计算平台上的新算法方法联系起来。这些由安全驱动的科学问题提出了具有挑战性的问题,其中包括代表多个交互系统组件的行为,将不同的物理过程综合为代码分析,确定其复杂的安全性和隐私政策,以及正式推理系统组合性安全。
主要关键词