Skip to main content
SpringerLink
Log in
Book cover

Computational Intelligence in Security for Information Systems pp 9–17Cite as

Knowledge System for Application of Computer Security Rules

  • Conference paper

  • 792 Accesses

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 63))

Abstract

Epistemic Logic is applied to diverse fields of the computing science, particularly to those related to systems constituted by agents. Such systems have an interesting range of applications themselves. In this paper, a logic system applied to the evaluation of Multilevel and Commercial computer security rules is discussed. The system is defined by axioms and rules, and the concepts of the security models are then considered in order to evaluate the rules. It is showed how to lead to certain formulas in order to determine the validity of the set of fundamental expressions that constitute the security models. It uses a system S5.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Vázquez-Gómez, J.: Modelling Multidomain Security SIGSAC. In: New Security Paradigm workshop. IEEE Computer Society Press, Los Alamitos (1993)

    Google Scholar 

  2. Vázquez-Gómez, J.: Multidomain Security. Computers & Security 13, 161–184 (1994)

    Article  Google Scholar 

  3. Bell, D.E., La Padula, L.J.: Security Computer Systems: Mathematical Foundations and Model. Tech. Rep., MITRE Corp., Bedford MA (1974)

    Google Scholar 

  4. Chellas, B.F.: Modal Logic an Introduction. Cambridge University Press, Cambridge (1995)

    Google Scholar 

  5. Baral, C., Zhang, Y.: On the semantics of knowledge update. In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, WA, pp. 97–102. Morgan Kaufmann, San Mateo (2001)

    Google Scholar 

  6. Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549–587 (1990), http://doi.acm.org/10.1145/79147.79161

    Article  MATH  MathSciNet  Google Scholar 

  7. Glassgow, J., MacEwen, G., Panangaden, P.: A logic for reasoning about security. ACM Trans. Comput. Syst. 10(3) (August 1992)

    Google Scholar 

  8. Glassgow, J., Mac Ewen, G.: Obligation as the basis of integrity especification. In: Proc. Computer Security Fundations Workshop, Franconia, NH (June 1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer research Center-IPN, Av. Juan de Dios Bátiz, esquina con Miguel Otón de Mendizábal, México, D.F., 07738, México

    Menchaca García Felipe Rolando & Contreras Hernández Salvador

Authors
  1. Menchaca García Felipe Rolando
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Contreras Hernández Salvador
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Grupo de Inteligencia, Computacional Aplicada, Área de Lenguajes y, Sistemas Informáticos, Escuela Politécnica Superior, Universidad de Burgos , Calle Francisco de Vitoria S/N, Edifico C, 09006, Burgos, Spain

    Álvaro Herrero

  2. Dept. of Biophysical and Electronic Engineering, Genova University , Via Opera Pia 11a, 16145, Genova, Italy

    Paolo Gastaldo

  3. Dept. of Biophysical and Electronic Engineering, Genova University , Via Opera Pia 11a, 16145, Genova, Italy

    Rodolfo Zunino

  4. Grupo de Inteligencia, Computacional Aplicada, Área de Lenguajes y Sistemas Informáticos, Escuela Politénica Superior, Universidad de Burgos , Calle Francisco de Vitoria S/N, Edifico C, 09006, Burgos, Spain

    Emilio Corchado

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rolando, M.G.F., Salvador, C.H. (2009). Knowledge System for Application of Computer Security Rules. In: Herrero, Á., Gastaldo, P., Zunino, R., Corchado, E. (eds) Computational Intelligence in Security for Information Systems. Advances in Intelligent and Soft Computing, vol 63. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04091-7_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04091-7_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04090-0

  • Online ISBN: 978-3-642-04091-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation