Confining data and processes in global computing applications

DOI10.1016/J.SCICO.2005.07.013zbMath1137.68333DBLPjournals/scp/NicolaGP06OpenAlexW2111506116WikidataQ57650834 ScholiaQ57650834MaRDI QIDQ2432761

Rocco De Nicola, Daniele Gorla, Rosario Pugliese

Publication date: 25 October 2006

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2005.07.013

zbMATH Keywords

formal methodstype systemsglobal computingdata secrecy

Mathematics Subject Classification ID

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

Related Items (2)

A formal approach to the engineering of domain-specific distributed systems ⋮ A type system for Discretionary Access Control

This page was built for publication: Confining data and processes in global computing applications