Towards SOS Meta-Theory for Language-Based Security

DOI10.1016/J.ENTCS.2005.12.092zbMath1316.68102DBLPjournals/entcs/Mousavi06OpenAlexW2078571351WikidataQ57745757 ScholiaQ57745757MaRDI QIDQ5262972

No author found.

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

formal semanticsstructural operational semanticsnon-interferencelanguage-based security

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Typing noninterference for reactive programs
• Rule formats for compositional non-interference properties
• A structural approach to operational semantics
• Information flow inference for free
• Perspectives of System Informatics

This page was built for publication: Towards SOS Meta-Theory for Language-Based Security