The design and development process for internet of things (IoT) applications is more
complicated than that for desktop, mobile, or web applications. First, IoT applications require …

In the past 10 years, the research community has produced a significant number of design
notations to represent security properties and concepts in a design artifact. These notations …

Since cyber-physical systems are inherently vulnerable to information leaks, software
architects need to reason about security policies to define desired and undesired …

Infrastructure as code (IaC) for the cloud, which automatically configures a system's cloud
environment from source code, is an important practice thanks to its efficient, reproducible …

The existing modeling and verification methods for embedded software are insufficient
towards the increasingly prominent security requirements. In this paper, aiming at high …

Infrastructure as Code (IaC) for cloud is an important practice due to its efficient and
reproducible provisioning of cloud environments. On a cloud IaC definition (template) …

The design and development process for the Internet of Things (IoT) applications is more
complicated than that for desktop, mobile, or web applications. First, IoT applications require …

RBAC model supports the principle of least privilege by the appropriate combination of roles
assigned to users. However, the minimum role set is hard to find. Role hierarchy and …

The Mosaic Group at the University of Arizona studies the design, implementation, testing,
and validation of integrated collaborative research systems (ICRS). The authors describe …

RBAC supports the principle of least privilege by the appropriate combination of roles
assigned to users. However, the minimum role set is hard to find. Role hierarchy and …