Checking noninterference in timed CSP

DOI10.1007/S00165-012-0251-6MaRDI QIDQ1941887zbMATH OpenOpenAlexFDO

Authors A. W. Roscoe, Jian Huang

Publication date 22 March 2013

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-012-0251-6

zbMATH Keywords

CSPrefinementnoninterferencetimed CSP

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2064461
• Timed CSP = closed timed automata
• scientific article; zbMATH DE number 1799514
• Synthesis of Non-Interferent Timed Systems
• Formal Modeling and Analysis of Timed Systems

Cites work

• scientific article; zbMATH DE number 1670837 (Why is no real title available?)
• scientific article; zbMATH DE number 1799514 (Why is no real title available?)
• scientific article; zbMATH DE number 2059569 (Why is no real title available?)
• scientific article; zbMATH DE number 2064461 (Why is no real title available?)
• scientific article; zbMATH DE number 2080039 (Why is no real title available?)
• A theory of timed automata
• A timed model for communicating sequential processes
• Confluence thanks to extensional determinism
• On timed models and full abstraction
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• The timed failures -- Stability model for CSP
• Understanding concurrent systems

Cited in

(9)

• Process algebra and model checking
• Translating between models of concurrency
• scientific article; zbMATH DE number 1799514 (Why is no real title available?)
• scientific article; zbMATH DE number 2064461 (Why is no real title available?)
• Timed CSP = closed timed automata
• On CSP refinement tests that run multiple copies of a process
• An efficient algorithm for computing bisimulation equivalence
• A hierarchy of failures-based models: theory and application
• May testing, non-interference, and compositionality

This page was built for publication: Checking noninterference in timed CSP

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