Information flow analysis for mobile code in dynamic security environments

MaRDI QIDQ5170843zbMATH OpenFDO

Authors Robert Grabowski

Publication date 25 July 2014

Full work available at URL http://d-nb.info/1022523635/34

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data encryption (aspects in computer science) (68P25) Internet topics (68M11) Theory of software (68N99)

Recommendations

• Noninterference with dynamic security domains and policies
• Non-disclosure for distributed mobile code
• Security boundaries in mobile ambients
• Programming Languages and Systems
• Information flow security in boundary ambients

Cited in

(5)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Datacentric semantics for verification of privacy policy compliance by mobile applications
• Non-disclosure for distributed mobile code
• Flow Policy Awareness for Distributed Mobile Code
• Noninterference with dynamic security domains and policies

Describes a project that uses

Uses Software

• dsdtool
• Jif
• Paragon

This page was built for publication: Information flow analysis for mobile code in dynamic security environments

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