Practical and Scalable Security Verification of Secure Architectures
Cryptography and Security
2018-07-06 v1 Distributed, Parallel, and Cluster Computing
Abstract
We present a new and practical framework for security verification of secure architectures. Specifically, we break the verification task into external verification and internal verification. External verification considers the external protocols, i.e. interactions between users, compute servers, network entities, etc. Meanwhile, internal verification considers the interactions between hardware and software components within each server. This verification framework is general-purpose and can be applied to a stand-alone server, or a large-scale distributed system. We evaluate our verification method on the CloudMonatt and HyperWall architectures as examples.
Cite
@article{arxiv.1807.01854,
title = {Practical and Scalable Security Verification of Secure Architectures},
author = {Jakub Szefer and Tianwei Zhang and Ruby B. Lee},
journal= {arXiv preprint arXiv:1807.01854},
year = {2018}
}