Non-disclosure for distributed mobile code

DOI10.1017/S096012951100017XMaRDI QIDQ3103611zbMATH OpenOpenAlexFDO

Authors Ana Almeida Matos, Jan Cederquist

Publication date 8 December 2011

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012951100017x

zbMATH Keywords

information flowsdistributed programs with code mobility

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Information flow analysis for mobile code in dynamic security environments
• Type-based security for mobile computing integrity, secrecy and liveness
• Noninterference with dynamic security domains and policies
• Security boundaries in mobile ambients

Cites work

• A lattice model of secure information flow
• A syntactic approach to type soundness
• A uniform type structure for secure information flow
• Flow Policy Awareness for Distributed Mobile Code
• Mobile ambients
• Noninterference for concurrent programs and thread systems
• Typing noninterference for reactive programs

Cited in

(5)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Information flow analysis for mobile code in dynamic security environments
• Noninterference with dynamic security domains and policies
• Type-based security for mobile computing integrity, secrecy and liveness
• A secrecy-preserving language for distributed and object-oriented systems

This page was built for publication: Non-disclosure for distributed mobile code

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