A secrecy-preserving language for distributed and object-oriented systems
type: Item
instance of: scholarly article
title: A secrecy-preserving language for distributed and object-oriented systems
zbMATH Open document ID: 1395.68198
author: Toktam Ramezanifarkhani
author: Olaf Owe
author: Shukun Tokas
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2018-06-27T00:00:00Z
full work available at URL: http://hdl.handle.net/10852/71729
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6895324
zbMATH Keywords: concurrent objects
zbMATH Keywords: asynchronous methods
zbMATH Keywords: non-interference
zbMATH Keywords: interaction non-interference
zbMATH Keywords: information flow
zbMATH Keywords: secrecy
describes a project that uses: Flow Caml
describes a project that uses: Creol
describes a project that uses: Haskell
describes a project that uses: JFlow
describes a project that uses: HLIO
MaRDI profile type: Publication
OpenAlex ID: W2802323239
cites work: Q3777424
cites work: Specification and Development of Interactive Systems
cites work: Q4004235
cites work: Creol: A type-safe object-oriented model for distributed concurrent systems
cites work: Q4813404
cites work: A sound and complete reasoning system for asynchronous communication with shared futures
cites work: Certification of programs for secure information flow
cites work: HLIO: mixing static and dynamic typing for information-flow control in Haskell
cites work: Types vs. PDGs in Information Flow Analysis
cites work: Observable behavior of distributed systems: component reasoning for concurrent objects
Wikidata QID: Q129872370
DOI: 10.1016/J.JLAMP.2018.04.001
description: scientific article; zbMATH DE number 6895324