Top

Published in:

2018 | OriginalPaper | Chapter

Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning

Authors : Marcello Balduccini, Claire Vishik

Published in: Security Standardisation Research

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

International standardization in ICT has grown in importance due to the rapid technology development, the increasing need for interoperability, and the global nature of the digital infrastructure. However, technical resources available to international standards bodies have become more limited. With its focus on international collaboration and consensus, the standardization community has not invested significantly in the automation of the process of developing standards. In this paper, we describe potential gains in efficiency with an ontology-based approach and automated reasoning. As part of the exploratory phase of the project, we built a prototype ontology and evaluated the benefits of automated reasoning to improve the process of developing and harmonizing broadly understood ICT assessment standards. The exploratory phase confirmed feasibility and clarified the benefits of the ontology-based approach to standardization, but also highlighted difficulties and unsolved problems in this area.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Co-ordinating Developers and High-Risk Users of Privacy-Enhanced Secure Messaging Protocols

next chapter Defeating the Downgrade Attack on Identity Privacy in 5G

https://www.iso.org/committee/45306.html, ISO/IEC JTC 1/SC 27 IT Security techniques.

https://www.iso.org/standard/57465.html.

While this approach is convenient for illustration purposes, preliminary examination of a broader set of documents seems to suggest that the same term may be used for multiple functions. In that case, it may be more appropriate to organize the term hierarchy along other dimensions than the functions themselves.

In fact, a whole hierarchy of ontology-based languages exist, with varying degrees of expressivity and computational complexity. A thorough discussion is beyond the scope of this paper.

Certain programs have multiple answer sets. For example, \( \left\{ { p \leftarrow not q. q \leftarrow not p. } \right\} \) has two answer sets, \( \left\{ { p } \right\} \) and \( \left\{ { q } \right\} \), corresponding to two alternative, equally possible views of the world captured by \( \Pi \)..

We omit the axiom for matching of SDL framework for IoT, which is straightforward.

Alobaidi, M., Malik, K.M., Hussain, M.: Automated ontology generation framework powered by linked biomedical ontologies for disease-drug domain. Comput. Methods Programs Biomed. 165, 117–128 (2018)CrossRef

Boje, D.M. (ed.): Organizational Change and Global Standardization Solutions to Standards and Norms Overwhelming Organizations. Routledge, New York (2015)

Cai, M.C., et al.: ADReCS: an ontology database for aiding standardization and hierarchical classification of adverse drug reaction terms. Nucleic Acids Res. 43(D1), D907–D913 (2014)CrossRef

de Franco Rosa, F., Jino, M., Bonacin, R.: Towards an ontology of security assessment: a core model proposal. In: Latifi, S. (ed.) Information Technology - New Generations. AISC, vol. 738, pp. 75–80. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-77028-4_12CrossRef

de Franco Rosa, F., Jino, M., Bueno, P.M.S., Bonacin, R.: Coverage- based heuristics for selecting assessment items from security standards: a core set proposal. In: 2018 Workshop on Metrology for Industry 4.0 and IoT, pp. 192–197. IEEE, April 2018

Fenz, S., Ekelhart, A.: Formalizing information security knowledge. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, pp. 183–194. ACM (2009)

Fraga, A.L., Vegetti, M.: Semi-automated ontology generation process from industrial product data standards. In: III Simposio Argentino de Ontologías y sus Aplicaciones (SAOA)-JAIIO 46 (Córdoba 2017) (2017)

Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Gen. Comput. 9, 365–385 (1991)CrossRef

Gonzalez-Perez, C., Henderson-Sellers, B., McBride, T., Low, G.C., Larrucea, X.: An ontology for ISO software engineering standards: 2) proof of concept and application. Comput. Standards Interfaces 48, 112–123 (2016)CrossRef

Harris, S., Seaborne, A., Prud’hommeaux, E.: SPARQL 1.1 query language. W3C Recommendation 21(10), 778 (2013)

Huang, Y., Li, G.: A semantic analysis for internet of things. In: 2010 International Conference on Intelligent Computation Technology and Automation (ICICTA), vol. 1, pp. 336–339. IEEE (2010)

Marek, V.W., Truszczynski, M.: Stable models and an alternative logic programming. In: Apt, K.R., Marek, V.W., Truszczynski, M., Warren, D.S. (eds.) The Logic Programming Paradigm: a 25-Year Perspective, pp. 375–398. Springer, Heidelberg (1999). https://doi.org/10.1007/978-3-642-60085-2_17CrossRefMATH

Ramanauskaitė, S., Olifer, D., Goranin, N., Čenys, A.: Security ontology for adaptive mapping of security standards. Int. J. Comput. Commun. Control (IJCCC) 8(6), 813–825 (2013)CrossRef

Title: Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning
Authors: Marcello Balduccini
Claire Vishik
Publisher: Springer International Publishing
Book: Security Standardisation Research
Print ISBN: 978-3-030-04761-0

Electronic ISBN: 978-3-030-04762-7

Copyright Year: 2018
DOI: https://doi.org/10.1007/978-3-030-04762-7_5

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner