Information Flow Security for Mobile Computation System
Huang Hai-jun · Journal of Chinese Computer Systems · 2006
Ensuring information flow security of programs is an important research direction of information security. Type-based analyses can be used to ensure information flow security of programs. Mobile computation system involves communication, which makes ensuring security more difficult. Based on the Zdancewic's work, this paper extends λ sec with constructs for transmitting and receiving values on channels across remote sites, and develops a type system to ensure information flow security for simple mobile computation system.