Formal Specification for Internet of Things Malware

Internet of Things is usually characterized by complex temporal and spatial interactions. The complexity is characterized by mobility, device diversity, heterogeneity of platforms and system architectures. There is exponential increase in the number of devices and applications in the Internet of thi...

Full description

Saved in:
Bibliographic Details
Published in2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE) pp. 144 - 149
Main Authors Karanja, Evanson Mwangi, Masupe, Shedden, Gasennelwe-Jeffrey, Mandu
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.08.2018
Subjects
ambient calculus
Calculus
Computer architecture
Internet of Things
Malware
malware behavior
Malware specification
Operating systems
Peer-to-peer computing
Protocols
Online AccessGet full text
DOI10.1109/iCCECOME.2018.8659285

Cover

More Information
Summary:Internet of Things is usually characterized by complex temporal and spatial interactions. The complexity is characterized by mobility, device diversity, heterogeneity of platforms and system architectures. There is exponential increase in the number of devices and applications in the Internet of things. This growth and perceived economic gains offers motivation to malware authors. Lack of formal models and specifications for Internet of things malware makes it hard to study the interactions and underlying behavior. In this paper, we present formal specification based on ambient calculus that characterizes the salient features of Internet of things environments.
DOI:10.1109/iCCECOME.2018.8659285