English
Related papers

Related papers: Towards Safety and Security Testing of Cyberphysic…

200 papers

System complexity has become ubiquitous in the design, assessment, and implementation of practical and useful cyber-physical systems. This increased complexity is impacting the management of models necessary for designing cyber-physical…

Software Engineering · Computer Science 2021-06-04 Georgios Bakirtzis , Tim Sherburne , Stephen Adams , Barry M. Horowitz , Peter A. Beling , Cody H. Fleming

Ontologies are traditionally expressed in the Web Ontology Language (OWL), that provides a syntax for expressing taxonomies with axioms regulating class membership. The semantics of OWL, based on Description Logic (DL), allows for the use…

Information Theory · Computer Science 2023-09-07 Veronika Heimsbakk , Kristian Torkelsen

This works considers challenges of building and usage a formal knowledge base (model), which unites the ATT&CK, CAPEC, CWE, CVE security enumerations. The proposed model can be used to learn relations between attack techniques, attack…

Cryptography and Security · Computer Science 2021-12-09 Andrei Brazhuk

It has been challenging for the technical and regulatory communities to formulate requirements for trustworthiness of the cyber-physical systems (CPS) due to the complexity of the issues associated with their design, deployment, and…

Cryptography and Security · Computer Science 2018-03-21 Marcello Balduccini , Edward Griffor , Michael Huth , Claire Vishik , Martin Burns , David Wollman

Knowledge graphs have emerged as expressive data structures for Web data. Knowledge graph potential and the demand for ecosystems to facilitate their creation, curation, and understanding, is testified in diverse domains, e.g., biomedicine.…

Databases · Computer Science 2021-01-19 Mónica Figuera , Philipp D. Rohde , Maria-Esther Vidal

SHACL and OWL are two prominent W3C standards for managing RDF data. These languages share many features, but they have one fundamental difference: OWL, designed for inferring facts from incomplete data, makes the open-world assumption,…

Logic in Computer Science · Computer Science 2026-01-21 Anouk Oudshoorn , Magdalena Ortiz , Mantas Simkus

Reproducibility, traceability, and transparency in testing cyber-physical energy systems are crucial for scientific advancement and cross-laboratory collaboration. Current experimentation and test documentation practices lack formal…

Systems and Control · Electrical Eng. & Systems 2026-04-22 Kai Heussen , Jawad Kazmi , Narges Mehran , Artjoms Obushevs , Terence O'Donnell , Thomas I. Strasser

Linked data portals need to be able to advertise and describe the structure of their content. A sufficiently expressive and intuitive schema language will allow portals to communicate these structures. Validation tools will aid in the…

Databases · Computer Science 2017-02-01 Jose-Emilio Labra-Gayo , Eric Prud'hommeaux , Harold Solbrig , Iovka Boneva

Cyber-physical technologies are prone to attacks, in addition to faults and failures. The issue of protecting cyber-physical systems should be tackled by jointly addressing security at both cyber and physical domains, in order to promptly…

Cryptography and Security · Computer Science 2018-02-08 Jose Rubio-Hernan , Rishikesh Sahay , Luca De Cicco , Joaquin Garcia-Alfaro

The Shapes Constraint Language (SHACL) was standardized by the World Wide Web as a constraint language to describe and validate RDF data graphs. SHACL uses the notion of shapes graph to describe a set of shape constraints paired with…

Computational Complexity · Computer Science 2024-08-01 Shqiponja Ahmetaj , Timo Camillo Merkl , Reinhard Pichler

Cybercrime and the market for cyber-related compromises are becoming attractive revenue sources for state-sponsored actors, cybercriminals and technical individuals affected by financial hardships. Due to burgeoning cybercrime on new…

Cryptography and Security · Computer Science 2025-02-10 Yee Ching Tok , Davis Yang Zheng , Sudipta Chattopadhyay

The Shapes Constraint Language (SHACL) has been recently introduced as a W3C recommendation to define constraints that can be validated against RDF graphs. Interactions of SHACL with other Semantic Web technologies, such as ontologies or…

Artificial Intelligence · Computer Science 2020-08-10 Paolo Pareti , George Konstantinidis , Timothy J. Norman , Murat Şensoy

This survey investigates how ontologies, semantic log processing, and Large Language Models (LLMs) enhance cybersecurity. Ontologies structure domain knowledge, enabling interoperability, data integration, and advanced threat analysis.…

Cryptography and Security · Computer Science 2025-10-21 Bruno Lourenço , Pedro Adão , João F. Ferreira , Mario Monteiro Marques , Cátia Vaz

Cyber-physical systems require the construction and management of various models to assure their correct, safe, and secure operation. These various models are necessary because of the coupled physical and computational dynamics present in…

Logic in Computer Science · Computer Science 2021-10-04 Georgios Bakirtzis , Cody H. Fleming , Christina Vasilakopoulou

To improve cyber threat analysis practices in cybersecurity, I present a plan to build a formal ontological representation of state actors in cyberspace and of cyber operations. I argue that modelling these phenomena via ontologies allows…

Cryptography and Security · Computer Science 2024-08-06 Giacomo De Colle

Cyber-physical systems are critical infrastructures that are crucial both to the reliable delivery of resources such as energy, and to the stable functioning of automatic and control architectures. These systems are composed of…

Systems and Control · Computer Science 2016-07-04 Andrey Y. Lokhov , Nathan Lemons , Thomas C. McAndrew , Aric Hagberg , Scott Backhaus

Cyber-physical systems integrate computation, communication, and physical capabilities to interact with the physical world and humans. Besides failures of components, cyber-physical systems are prone to malignant attacks, and specific…

Optimization and Control · Mathematics 2012-03-13 Fabio Pasqualetti , Florian Dörfler , Francesco Bullo

The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This…

Software Engineering · Computer Science 2024-05-17 Xi Zheng , Aloysius K. Mok , Ruzica Piskac , Yong Jae Lee , Bhaskar Krishnamachari , Dakai Zhu , Oleg Sokolsky , Insup Lee

This paper analyzes the proliferation of cybersecurity ontologies, arguing that this surge cannot be explained solely by technical shortcomings related to quality, but also by a credibility deficit - a lack of trust, endorsement, and…

Cryptography and Security · Computer Science 2025-12-02 Antoine Leblanc , Jacques Robin , Nourhène Ben Rabah , Zequan Huang , Bénédicte Le Grand

The software development for Cyber-Physical Systems (CPS), e.g., autonomous vehicles, requires both functional and non-functional quality assurance to guarantee that the CPS operates safely and effectively. EAST-ADL is a domain specific…

Software Engineering · Computer Science 2018-03-20 Eun-Young Kang , Dongrui Mu , Li Huang , Qianqing Lan
‹ Prev 1 2 3 10 Next ›