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.

Document

PDF icon seald20.pdf