Non-interference Properties for Data-Type Reduction of Communicating Systems

DOI10.1007/978-3-540-73210-5_32MaRDI QIDQ3608898zbMATH OpenOpenAlexFDO

Authors Tobe Toben

Publication date 6 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_32

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Abstract non-interference
• Information and Communications Security
• A proof system for abstract non-interference
• MULTISTAGE COMMUNICATION WITH AND WITHOUT VERIFIABLE TYPES
• Unmediated communication with partially verifiable types
• Zero-communication reductions
• Convergent and commutative replicated data types
• On a measure of possibilistic non-compatibility with an application to data transmission
• A noninterference model for nondeterministic systems
• Commutativity-based concurrency control for abstract data types

Cited in

(1)

• Safety and precision of spatial context models for autonomous systems

This page was built for publication: Non-interference Properties for Data-Type Reduction of Communicating Systems

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