Measuring security in IoT communications

DOI10.1016/j.tcs.2018.12.002zbMath1417.68020OpenAlexW2903794073WikidataQ115036494 ScholiaQ115036494MaRDI QIDQ1731516

Letterio Galletta, Chiara Bodei, Stefano Chessa

Publication date: 13 March 2019

Published in: Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

securityinternet of thingscost evaluation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (1)

Security Metrics at Work on the Things in IoT Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An operational semantics for a calculus for wireless systems
• A process calculus for mobile ad hoc networks
• Markov and Markov reward model transient analysis: An overview of numerical approaches
• Non-interleaving semantics for mobile processes
• Language-based performance prediction for distributed and mobile systems
• A probabilistic calculus of cyber-physical systems
• Linguistic Mechanisms for Context-Aware Security
• Stochastic Model Checking
• A Formal Analysis of Complex Type Flaw Attacks on Security Protocols

This page was built for publication: Measuring security in IoT communications