Information flow security for interactive systems

Authors:
Ying Jin;Lei Liu;Xiao-juan Zheng
Affiliations:
Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education of P.R. China, Computer Science & Technology College, Jilin University, Changchun, P.R. China;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education of P.R. China, Computer Science & Technology College, Jilin University, Changchun, P.R. China;Software College, Northeast Normal University, Changchun, P.R. China
Venue:
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Year:
2005

Citing 7
Cited 0

Systematic realisation of control flow analyses for CML

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Closed action calculi

Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Action Calculi, or Syntactic Action Structures

MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Safe Ambients: Control Flow Analysis and Security

ASIAN '00 Proceedings of the 6th Asian Computing Science Conference on Advances in Computing Science
Control Flow Analysis for the pi-calculus

CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Information Flow Analysis in a Discrete-Time Process Algebra

CSFW '00 Proceedings of the 13th IEEE workshop on Computer Security Foundations
Language-based information-flow security

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of the Internet raises serious behavioural issues regarding, for example, security and the interaction among agents that may travel across links. Model-building such interactive systems is one of the biggest current challenges in computer science. A general model, action calculi, has been introduced by Robin Milner to unify the various emerging disciplines of interactive behaviour. In this paper action calculi is used as an abstraction of interactive systems and information flow security properties of such systems are studied. At first an information flow analysis for static action calculi is presented to predict how data will flow both along and inside actions and its correctness is proved; Next basing on the result of the analysis information security properties of both static and dynamic action calculi are discussed; Finally a general relationship are established between the static notation of information flow security and the dynamic one.