Towards SOS meta-theory for language-based security

DOI10.1016/J.ENTCS.2005.12.092MaRDI QIDQ5262972zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.092

zbMATH Keywords

non-interferenceformal semanticsstructural operational semanticslanguage-based security

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 7356843
• SOS formats and meta-theory: 20 years after
• Prototyping SOS meta-theory in Maude
• Formal verification of language-based concurrent noninterference
• Decidability and proof systems for language-based noninterference relations

Cites work

• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• A structural approach to operational semantics
• Information flow inference for free
• Perspectives of System Informatics
• Rule formats for compositional non-interference properties
• Structural operational semantics.
• Typing noninterference for reactive programs

Cited in

(1)

• scientific article; zbMATH DE number 7356843 (Why is no real title available?)

This page was built for publication: Towards SOS meta-theory for language-based security

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