Secure Data Flow in a Calculus for Context Awareness

DOI10.1007/978-3-540-68679-8_27MaRDI QIDQ3507380zbMATH OpenOpenAlexFDO

Authors Doina Bucur, Mogens Nielsen

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-68679-8_27

zbMATH Keywords

context awarenessMobile Ambientssecuritytype systemUbiquitous Computing

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The calculus of context-aware ambients
• scientific article; zbMATH DE number 1231618
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Flow-sensitive type systems and the ambient calculus
• Information flow security in boundary ambients

Cites work

• Foundations of Software Science and Computation Structures
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1863161 (Why is no real title available?)
• scientific article; zbMATH DE number 2242580 (Why is no real title available?)
• M^3: mobility types for mobile processes in mobile ambients
• Mobile ambients
• Security policies as membranes in systems for global computing
• Theoretical Aspects of Computing – ICTAC 2005
• Types for the ambient calculus

Cited in

(2)

• The calculus of context-aware ambients
• Typed context awareness ambient calculus for pervasive applications

This page was built for publication: Secure Data Flow in a Calculus for Context Awareness

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