ÐÓ°ÉÔ­´´

Skip to Content

Posts sorted by Publication

CyberSEA Publications

New Publication: A Formal Metamodel for Software Architectures with Composite Components

CyberSEA Publications

New Publication: Specification and Verification of Communication Paradigms for CBSE in Event B

CyberSEA Publications

New Publication: Single and Combined Cyberattack Impact on Industrial Wastewater Systems

CyberSEA Publications

New Publication: Eliciting a Security Architecture Requirements Baseline from Standards and Regulations

CyberSEA Publications

New Publication: Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy

CyberSEA Publications

New Publication: Formalizing the Relationship between Security Policies and Objectives in Software Architectures

CyberSEA Publications

New Publication: Understanding the Role of Human-Related Factors in Security Requirements Elicitation

CyberSEA Publications

New Publication: Defense Models for Data Recovery in Industrial Control Systems

CyberSEA Publications

New Publication: Conceptualizing the Secure Machine Learning Operations (SecMLOps) Paradigm

CyberSEA Publications

New Publication: Towards Logical Specification of Adversarial Examples in Machine Learning

CyberSEA Publications

New Publication: Security Patterns for Machine Learning: The Data-Oriented Stages

CyberSEA Publications

New Publication: Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design

Page 3 of 5

Previous Next

This site uses cookies to offer you a better browsing experience. Find out more on how we use cookies and how you can change your settings.