Accuracy (and hence calibration) is a key requirement of safety-critical IoT (SC-IoT) systems.
Calibration workflows involve a number of parties such as device users, manufacturers …

Recent advances in computer science, artificial intelligence and engineering has pioneered
the field of robotics, bringing guarantees of higher levels of accuracy and lowered …

Effective access control is dependent not only on the existence of strong policies but also on
ensuring that the access control enforcement subsystem is adequately protected. Protecting …

Traceable sensor calibration constitutes a foundational step that underpins operational
safety in the Industrial Internet of Things. Traceability is the property that ensures reliability of …

Access control systems are among the most critical of computer security components. Faulty
policies, misconfigurations, or flaws in software implementations can result in serious …

In distributed environments, entities are distributed among different security domains and
they do not have prior knowledge of one another. In this setting, distributed systems and …

Real-world applications routinely make authorization decisions based on dynamic
computation. Reasoning about dynamically computed authority is challenging. Integrity of …

Successfully employed in the industry, hardware isolation environment enhances the access
control of traditional operating systems and requires more rigorous analysis. This paper first …

Access control is one of the most fundamental security mechanisms used in the design and
management of modern information systems. However, there still exists an open question on …

Access control has been traditionally used to protect data and privacy. Traditional access
control models (eg, ABAC, RBAC) cannot meet modern security requirements as …