Formal Specification for Internet of Things Malware - Karanja, Evanson Mwangi; Masupe, Shedden; Gasennelwe-Jeffrey, Mandu (2018 International Conference on Computing, Electronics & Communications Engineering (iCCECE), 2018)
Keywords: ambient calculus; Calculus; Computer architecture; Internet of Things; Malware; malware behavior; Malware specification; Operating systems; Peer-to-peer computing; Protocols