Advertisement

Security Modeling of Grid Systems Using Petri Nets

  • Peter D. Zegzhda
  • Dmitry P. Zegzhda
  • Maxim O. Kalinin
  • Artem S. Konoplev
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7531)

Abstract

The paper reviews the security problem with computing and information resources in Grid systems. It discusses security relative characteristics of Grid architecture and provides a common threat model of Grid. It summarizes methods being applied to improve security of Grid systems and discusses their disadvantages. There is proposed the Petri-net-based model of access control for Grid systems. That model enhances Grid security with trusted ’job’ submission (in strict accordance with security policy constraints) and verification of the security implementation in Grid systems.

Keywords

Grid information security Petri net security model security policy verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure, 2nd edn (2004)Google Scholar
  2. 2.
    Lohr, H., Ramasamy, H.V., Sadeghi, A., Schulz, S., Schunter, M., Stuble, C.: Enhancing Grid Security Using Trusted Virtualization. Springer (2007)Google Scholar
  3. 3.
    Stepanova, T., Zegzhda, D., Kalinin, M., Baranov, P.: Mobile Anomaly Detector Module Based on Power Consumption Analysis. In: The 2010 International Conference on Information Security and Privacy (ISP 2010), Orlando, FL, USA, July 12-14 (2010)Google Scholar
  4. 4.
    Song, S., Hwang, K., Macwan, M.: Fuzzy Trust Integration for Security Enforcement in Grid Computing. Springer (2004)Google Scholar
  5. 5.
    The Globus Security Team. Globus Toolkit Version 4 Grid Security Infrastructure: A Standards Perspective / The Globus Security Team (2005), globus.org/toolkit/docs/4.0/security/GT4-GSI-Overview.pdf
  6. 6.
    Internet resource: www.unicore.eu
  7. 7.
    Sciaba, A., Burke, S., Campana, S., Lanciotti, E., Litmaath, M., Lorenzo, P.M., Miccio, V., Nater, C., Santinelli, R.: GLite 3.2 User Guide. – CERN (2011)Google Scholar
  8. 8.
    Buyya, R., Venugopal, S.: The Gridbus Toolkit for Service Oriented Grid and Utility Computing: An Overview and Status Report. In: 1st IEEE International Workshop on Grid Economics and Business Models, Seoul, Korea, April 23 (2004)Google Scholar
  9. 9.
    Internet resource: boinc.berkeley.edu
  10. 10.
    Kalinin, M., Konoplev, A., Markov, Y.: Control of the security policies requirements in grid-systems. In: Proc. of the Conference Information Security of Russian Regions (ISRR 2011). St. Petersburg, Russia (2011)Google Scholar
  11. 11.
    Alfieri, R., Cecchini, R., Ciaschini, V., Dell’Agnello, L., Frohner, A., Gianoli, A., Lorentey, K., Spataro, F.: VOMS, an Authorization System for Virtual Organizations. LNCS (2003)Google Scholar
  12. 12.
    Kalinin, M., Markov, Y.: Verification of security policies requirements in grid-systems. Information Security Problems. Computing systems 2 (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Peter D. Zegzhda
    • 1
  • Dmitry P. Zegzhda
    • 1
  • Maxim O. Kalinin
    • 1
  • Artem S. Konoplev
    • 1
  1. 1.Information Security CenterSt. Petersburg Polytechnical UniversitySt. PetersburgRussia

Personalised recommendations