Towards SOS meta-theory for language-based security

DOI10.1016/J.ENTCS.2005.12.092zbMATH Open1316.68102DBLPjournals/entcs/Mousavi06OpenAlexW2078571351WikidataQ57745757 ScholiaQ57745757MaRDI QIDQ5262972FDOQ5262972

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

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

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)

Cites Work

• A structural approach to operational semantics
• Structural operational semantics.
• Title not available (Why is that?)
• Rule formats for compositional non-interference properties
• Information flow inference for free
• Perspectives of System Informatics
• Typing noninterference for reactive programs

Cited In (1)

• Title not available (Why is that?)

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)