Skip to main content

Security and Safety Assurance Architecture: Model and Implementation (Supporting Multiple Levels of Criticality)

  • Conference paper
Distributed and Parallel Computing (ICA3PP 2005)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3719))

  • 582 Accesses

Abstract

A combined architecture is described to protect the system against malicious attacks as well as unplanned system failures. Discussions are laid on its characteristics, structure, safety assurance technologies. Safety kernel (shell) and integrity policy for criticality are used to ensure the system safety. Furthermore, to implement rules of integrity policy, the reflective technology based on metaobject is adopted and how to apply reflective technology to implement these rules is analyzed in details. Finally, an experiment illuminates the feasibility of the proposed architecture.

This work is supported partly by This work is supported partly by Fujian young science & technology innovation foundation (2003J020), NCETXMU 2004 program, and Xiamen University research foundation(0630-E23011).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Grosspietsch, K.E., Silayeva, T.A.: A combined safety/security approach for co-operative distributed systems. In: Proceedings of the 18th international parallel and distributed processing symposium, IPDPS 2004 (2004)

    Google Scholar 

  2. Eames, D.P., Moffett, J.: The integration of safety and security requirements. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 468–480. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  3. Qin, Z.G., Lin, J.D.: Design and implementation of global security system in open system environment. Journal of applied sciences [in chinese] 17(3), 27–32 (1999)

    Google Scholar 

  4. Totl, E., Blanquare, J.B., Deswarte, Y., et al.: Supporting multiple levels of criticality. In: IEEE Symposium on fault tolerant computing systems, pp. 70–79 (1998)

    Google Scholar 

  5. Sahraoui, A.E., Anderson, E., Katwijk, V., et al.: Formal specification of safety shell in real-time control practice. In: Proceedings of the WRTP’S 2000, 25th IFAC workshop on real-time programming, Oxford, pp. 117–123. Elsevier, Amsterdam (2000)

    Google Scholar 

  6. Li, Z.W., Qiu, Z.P.: A new type of security and safety architecture for distributed system: Models and Implementation. In: Proceedings of the Third International Conference on Information Security (infosecu 2004), pp. 107–114 (2004)

    Google Scholar 

  7. Fabre, J.C., Perennou, T.: A metaobject architecture for fault-tolerant distributed systems: the FRIENDS approach. IEEE Trans. On Computers 47(1), 78–95 (1998)

    Article  Google Scholar 

  8. Li, Z.W., Xiong, G.Z.: Research and realization of safety kernel mechanism. Computer Science [in chinese] 28(4), 87–90 (2001)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhongwen, L. (2005). Security and Safety Assurance Architecture: Model and Implementation (Supporting Multiple Levels of Criticality). In: Hobbs, M., Goscinski, A.M., Zhou, W. (eds) Distributed and Parallel Computing. ICA3PP 2005. Lecture Notes in Computer Science, vol 3719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11564621_42

Download citation

  • DOI: https://doi.org/10.1007/11564621_42

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29235-7

  • Online ISBN: 978-3-540-32071-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics