Provable Security of Communication for Protecting Information Flow in Distributed Systems

Mapping Intimacies ◽

10.21236/ada620103 ◽

2015 ◽

Author(s):

Paul Cuff

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Provable Security

Download Full-text

5. Information Flow in Distributed Systems

Information and Information Flow ◽

10.1515/9783110323603.175 ◽

2004 ◽

pp. 175-236

Keyword(s):

Distributed Systems ◽

Information Flow

Download Full-text

Information flow control of component-based distributed systems

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.2807 ◽

2012 ◽

Vol 25 (2) ◽

pp. 161-179 ◽

Author(s):

Lilia Sfaxi ◽

Takoua Abdellatif ◽

Riadh Robbana ◽

Yassine Lakhnech

Keyword(s):

Distributed Systems ◽

Flow Control ◽

Information Flow ◽

Information Flow Control

Download Full-text

Information Flow, Biological Field, and Autonomous Distributed Systems

Immunity-Based Systems ◽

10.1007/978-3-662-07863-1_9 ◽

2004 ◽

pp. 139-149

Author(s):

Yoshiteru Ishida

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Biological Field

Download Full-text

Automating information flow control in component-based distributed systems

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering - CBSE '11 ◽

10.1145/2000229.2000241 ◽

2011 ◽

Author(s):

Takoua Abdellatif ◽

Lilia Sfaxi ◽

Riadh Robbana ◽

Yassine Lakhnech

Keyword(s):

Distributed Systems ◽

Flow Control ◽

Information Flow ◽

Information Flow Control

Download Full-text

Towards Information Flow Properties for Distributed Systems

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2009.03.015 ◽

2009 ◽

Vol 236 ◽

pp. 65-84 ◽

Author(s):

Roberto Gorrieri ◽

Fabio Martinelli ◽

Ilaria Matteucci

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Flow Properties

Download Full-text

Jon Barwise and Jerry Seligman. Information flow. The logic of distributed systems. Cambridge tracts in theoretical computer science, no. 44. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1997, xv + 274 pp.

Journal of Symbolic Logic ◽

10.2307/2586823 ◽

1999 ◽

Vol 64 (4) ◽

pp. 1836-1836

Author(s):

Maarten De Rijke

Keyword(s):

New York ◽

Distributed Systems ◽

Computer Science ◽

Information Flow ◽

Theoretical Computer Science ◽

Theoretical Computer ◽

Cambridge University

Download Full-text

Information flow: the logic of distributed systems by Jon Barwise and Jerry Seligman

10.1002/(sici)1099-0526(199811/12)4:2<30::aid-cplx7>3.0.co;2-a ◽

1998 ◽

Vol 4 (2) ◽

pp. 30-32

Author(s):

Keith Devlin

Keyword(s):

Distributed Systems ◽

Information Flow

Download Full-text

Towards scalable defense of information flow security for distributed systems

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 ◽

10.1145/3293882.3338988 ◽

2019 ◽

Author(s):

Xiaoqin Fu

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Information Flow Security

Download Full-text

Labelled mobile ambients model for information flow security in distributed systems

Proceedings of the 8th International Conference on Security of Information and Networks - SIN '15 ◽

10.1145/2799979.2800012 ◽

2015 ◽

Author(s):

N. V. Narendra Kumar ◽

R. K. Shyamasundar

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Information Flow Security ◽

Mobile Ambients

Download Full-text

A Legal Information flow (LIF) scheduler for distributed systems

2007 International Conference on Parallel and Distributed Systems ◽

10.1109/icpads.2007.4447830 ◽

2007 ◽

Author(s):

Tomoya Enokido ◽

Makoto Takizawa

Keyword(s):

Distributed Systems ◽

Information Flow ◽

Legal Information

Download Full-text