Decentralized Information Flow Controlled Method Based on Trusted Pipe

Ya Sha Chen; Wei Jiang; Jun Hu; Jian Hua Liao

doi:10.4028/www.scientific.net/AMR.462.763

Paper Titles

Software Design of Restaurant Service Mobile Robot’s Control System
p.743

Research on the Servo Position Control System of the Carrying Manipulator Based on Pneumatic Drive
p.748

Design of Water Bath Temperature Control System Based on DS18B20
p.753

A Rotor Position Detection Method of SRM by Measuring Mutually Induced Voltages
p.757

Decentralized Information Flow Controlled Method Based on Trusted Pipe
p.763

Circuit Design of Micro-Pspice Parameter Acceleration Sensor
p.769

Analysis of 3D Stator Temperature Field in High Voltage and High Power PMSM
p.775

The Research and Design of Autonomous Walking Robot Based on Ultrasonic and Wireless Control System
p.783

Application of IMC-PID in the Hydraulic Headbox Total Pressure Control
p.789

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 462Decentralized Information Flow Controlled Method...

Decentralized Information Flow Controlled Method Based on Trusted Pipe

Abstract:

To solve the problems derived from isolation of application security mechanism and operation system security mechanism, firstly we propose the concept of trusted pipe, which can be used to achieve a uniform security mechanism, and then formally describe the information flow control method in the Communicating Sequential Processes（CSP）. Finally we prove that the model fits a standard definition of non-interference.

You might also be interested in these eBooks

Material Science and Engineering Technology

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 462)

Pages:

763-768

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.462.763

Citation:

Cite this paper

Online since:

February 2012

Authors:

Ya Sha Chen, Wei Jiang, Jun Hu, Jian Hua Liao

Keywords:

Communicating Sequential Processes, Formal Verification, Noninterference Model, Trusted Pipe

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Bishop, M. Computer Security: Art and Science, Addison Wesley. (2003).

Google Scholar

[2] Depart ment of Defense trusted computer system evaluation criteria, DoD 5200. 28-STD. In the glossary under entry Trusted Computing Base (TCB). (1985).

Google Scholar

[3] Bell, D.E. and LaPadula, LJ. Secure Computer Systems: Unified Exposition and Multics Interpretation. MITRE Corporation, MTR-2997. (1976).

Google Scholar

[4] Elliott I. Organick, The Multics System: An Examination of Its Structure, The MIT Press. (1972).

Google Scholar

[5] Trusted Computing Group http: /www. trustedcomputinggroup. org.

Google Scholar

[6] C. A. R. Hoare，Communicating Sequential Processes. Englewood Cliffs, New Jersey: Prentice/Hall International (1985).

Google Scholar

[7] M. Krohn, E. Tromer，Non-interference for a Practical DIFC-Based Operating System. In 2009 IEEE Symposium on Security and Privacy， IEEE Computer Society，Oakland，CA. (2009).

DOI: 10.1109/sp.2009.23

Google Scholar

[8] J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symposium on Research in Security and Privacy (1982).

DOI: 10.1109/sp.1982.10014

Google Scholar

[9] Peter A. Ryan and Steve A. Schneider. Process algebra and non-interference. Journal of Computer Security, (9): 75–103. (2001).

Google Scholar