Flexible, Decentralized Access Control for Smart Buildings with Smart Contracts

by   Leepakshi Bindra, et al.

Large commercial buildings are complex cyber-physical systems containing expensive and critical equipment that ensure the safety and comfort of their numerous occupants. Yet occupant and visitor access to spaces and equipment within these buildings are still managed through unsystematic, inefficient, and human-intensive processes. As a standard practice, long-term building occupants are given access privileges to rooms and equipment based on their organizational roles, while visitors have to be escorted by their hosts. This approach is conservative and inflexible. In this paper, we describe a methodology that can flexibly and securely manage building access privileges for long-term occupants and short-term visitors alike, taking into account the risk associated with accessing each space within the building. Our methodology relies on blockchain smart contracts to describe, grant, audit, and revoke fine-grained permissions for building occupants and visitors, in a decentralized fashion. The smart contracts are specified through a process that leverages the information compiled from Brick and BOT models of the building. We illustrate the proposed method through a typical application scenario in the context of a real office building and argue that it can greatly reduce the administration overhead, while, at the same time, providing fine-grained, auditable access control.



page 9

page 23


Formal Specification and Verification of Smart Contracts for Azure Blockchain

In this paper, we describe the formal verification of Smart Contracts of...

Inheritance software metrics on smart contracts

Blockchain systems have gained substantial traction recently, partly due...

AGSolT: a Tool for Automated Test-Case Generation for Solidity Smart Contracts

Blockchain and smart contract technology are novel approaches to data an...

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

The Move Prover (MVP) is a formal verifier for smart contracts written i...

Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-physical Systems

Intelligent Cyber-physical systems can be modelled as multi-agent system...

Role of Deep LSTM Neural Networks And WiFi Networks in Support of Occupancy Prediction in Smart Buildings

Knowing how many people occupy a building, and where they are located, i...

CircleChain: Tokenizing Products with a Role-based Scheme for a Circular Economy

In a circular economy, tracking the flow of second-life components for q...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.