Information Flow Security for Distribution Computation System
Huang Hai-jun · Journal of Chinese Computer Systems · 2007
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. Distribution computation system involves communication, which makes ensuring security more difficult. This paper introduces a distribution language called ConcurML which combines extends functional language with constructs for transmitting and receiving values on channels across remote sites, and develops a type system exploiting type and effect systems to factor the information security analysis into two pieces. It can ensure security for communication between processes.