Deriving event data sharing in IoT systems using formal modelling and analysis-Reference-Cited by-同舟云学术

Deriving event data sharing in IoT systems using formal modelling and analysis

Published:2019-12 Issue: Volume:8 Page:100092
ISSN:2542-6605
Container-title:Internet of Things
language:en
Short-container-title:Internet of Things

Author:

Fremantle Paul,Aziz Benjamin

Publisher

Elsevier BV

Subject

Management of Technology and Innovation,Artificial Intelligence,Computer Science Applications,Hardware and Architecture,Engineering (miscellaneous),Information Systems,Computer Science (miscellaneous),Software

Reference47 articles.

1. The internet of things;Evans,2011

2. Remote physical device fingerprinting;Kohno;IEEE Trans. Dependable Secure Comput.,2005

3. J. Wei, DDoS on Internet of Things–a big alarm for the future, 2016, (http://www.cs.tufts.edu/comp/116/archive/fall2016/jwei.pdf).

4. N.V. Database, Cve-2014-9222, 2014, (https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-9222) (Accessed on 02/02/2017).

5. Federated identity and access management for the internet of things;Fremantle,2014

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. BMDD: a novel approach for IoT platform (broker-less and microservice architecture, decentralized identity, and dynamic transmission messages);PeerJ Computer Science;2022-04-22

2. Formal Verification of a Trusted Execution Environment-Based Architecture for IoT Applications;IEEE Internet of Things Journal;2021-12-01

3. Formal Specification and Verification of Timing Behavior in Safety-Critical IoT Systems;Transactions on Computational Science and Computational Intelligence;2021

4. Sharing model of industrial factories;IOP Conference Series: Materials Science and Engineering;2020-09-01

5. HAFLoop: An architecture for supporting Highly Adaptive Feedback Loops in self-adaptive systems;Future Generation Computer Systems;2020-04