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

DOI10.1016/J.TCS.2024.114537MaRDI QIDQ6129705zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

verificationbisimulationsdistributed systemsformal methodsautonomic computingECA rulesIoT programming

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

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)