Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems

DOI10.1016/J.TCS.2024.114537OpenAlexW4393282143MaRDI QIDQ6129705FDOQ6129705

Authors: Michele Pasqua, Marino Miculan 

Publication date: 17 April 2024

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2024.114537

Recommendations

• On the security and safety of AbU systems
• AbU: a calculus for distributed event-driven programming with attribute-based interaction
• Verifying properties of systems relying on attribute-based communication
• A calculus for collective-adaptive systems and its behavioural theory
• A semantic theory of the Internet of Things

zbMATH Keywords

verificationbisimulationsdistributed systemsformal methodsautonomic computingECA rulesIoT programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (2)

• AbU: a calculus for distributed event-driven programming with attribute-based interaction
• Preface

This page was built for publication: Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6129705)