Action Refinement in Process Algebra and Security Issues

DOI10.1007/978-3-540-78769-3_14MaRDI QIDQ5504602zbMATH OpenOpenAlexFDO

Authors Annalisa Bossi, Carla Piazza, Sabina Rossi

Publication date 22 January 2009

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78769-3_14

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)

Recommendations

• scientific article; zbMATH DE number 4180788
• scientific article; zbMATH DE number 176759
• Compositional action system refinement
• Towards action-refinement in process algebras
• Adding action refinement to a finite process algebra

Cites work

• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176155 (Why is no real title available?)
• scientific article; zbMATH DE number 590996 (Why is no real title available?)
• scientific article; zbMATH DE number 4121471 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• A causal operational semantics of action refinement
• A proof system for information flow security
• Action Refinement in Process Algebra and Security Issues
• Action refinement.
• Adding action refinement to a finite process algebra
• Comparing syntactic and semantic action refinement
• Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
• Program development by stepwise refinement
• Refinement of actions and equivalence notions for concurrent systems
• The difference between splitting in \(n\) and \(n+1\)

Cited in

(7)

• Proof-based design of security protocols
• On the use of data refinement in the development of secure communications systems
• Non-interference through determinism
• On refinement-closed security properties and nondeterministic compositions
• Information flow in systems with schedulers. II: Refinement
• Action Refinement in Process Algebra and Security Issues
• scientific article; zbMATH DE number 4180788 (Why is no real title available?)

This page was built for publication: Action Refinement in Process Algebra and Security Issues

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