Deduction with XOR Constraints in Security API Modelling
Deduction with XOR Constraints in Security API Modelling
复制标题
安全 API 建模中 XOR 约束的推导
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
G. Steel
中科院分区：
文献类型：
--
作者：
G. Steel
我们引入XOR约束，并展示了它们如何使定理证明器有效地推理采用按位XOR的安全关键子系统。我们的主要案例研究是IBM 4758硬件安全模块的API。我们还展示了我们的技术可以应用于标准的安全协议。
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module. We also show how our technique can be applied to standard security protocols.