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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
https://www.iso.org/committee/45306.html, ISO/IEC JTC 1/SC 27 IT Security techniques.
- 2.
- 3.
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.
- 4.
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.
- 5.
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 \)..
- 6.
We omit the axiom for matching of SDL framework for IoT, which is straightforward.
References
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)
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)
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_12
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)
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)
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_17
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Balduccini, M., Vishik, C. (2018). Building Blocks in Standards: Improving Consistency in Standardization with Ontology and Reasoning. In: Cremers, C., Lehmann, A. (eds) Security Standardisation Research. SSR 2018. Lecture Notes in Computer Science(), vol 11322. Springer, Cham. https://doi.org/10.1007/978-3-030-04762-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-04762-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-04761-0
Online ISBN: 978-3-030-04762-7
eBook Packages: Computer ScienceComputer Science (R0)