Yeongbok Choe, Moonkun Lee. Algebraic Method to Model Secure IoT. In Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos, editors, Domain-Specific Conceptual Modeling, Concepts, Methods and Tools. pages 335-355, Springer, 2016. [doi]
Abstract is missing.