Security Metrics at Work on the Things in IoT Systems

DOI10.1007/978-3-030-41103-9_9zbMath1440.68017OpenAlexW3006390011MaRDI QIDQ3297843

Chiara Bodei, Letterio Galletta, Pierpaolo Degano, Gian-Luigi Ferrari

Publication date: 20 July 2020

Published in: From Lambda Calculus to Cybersecurity Through Program Analysis (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11568/1031653

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Internet topics (68M11) Computer security (68M25)

Related Items (1)

A formal approach to the engineering of domain-specific distributed systems

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus of quality for robustness against unreliable communication
• A semantic theory of the Internet of things
• Measuring security in IoT communications
• Linguistic Mechanisms for Context-Aware Security
• A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
• Revealing the trajectories of KLAIM tuples, statically

This page was built for publication: Security Metrics at Work on the Things in IoT Systems