On the security and safety of AbU systems

DOI10.1007/978-3-030-92124-8_11zbMath1522.68370OpenAlexW4205569669MaRDI QIDQ6045050

Michele Pasqua, Marino Miculan

Publication date: 26 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-92124-8_11

zbMATH Keywords

verificationformal methodsbisimulationsautonomic computingECA rules

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11) Computer security (68M25)

Cites Work

• Unnamed Item
• Unnamed Item
• A calculus for attribute-based memory updates
• On the Power of Attribute-Based Communication
• On flow-sensitive security types
• Verifying bounded subset-closed hyperproperties

This page was built for publication: On the security and safety of AbU systems