中文
相关论文

相关论文: Towards Safety and Security Testing of Cyberphysic…

200 篇论文

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…

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…

信息论 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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.…

数据库 · 计算机科学 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,…

计算机科学中的逻辑 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

数据库 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

人工智能 · 计算机科学 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.…

密码学与安全 · 计算机科学 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…

计算机科学中的逻辑 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 计算机科学 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…

最优化与控制 · 数学 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…

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…

密码学与安全 · 计算机科学 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…

软件工程 · 计算机科学 2018-03-20 Eun-Young Kang , Dongrui Mu , Li Huang , Qianqing Lan
‹ 上一页 1 2 3 10 下一页 ›