The SEALD Model

Report ID:

2020-01

Authors:

B. Hardekopf, D. Agrawal, T. Bultan, Y. Ding, A. El Abbadi, Y. Feng, C. Krintz, T. Sherwood, and R. Wolski

Date:

2020-03-01 00:00:00

Abstract

In this paper, we define the SEALD system properties for IoT systems and describe the preliminary semantics of the SEALD model.