A security type verifier for smart contracts.

Xinwen Hu Yi Zhuang Shangwei Lin Fuyuan Zhang Shuanglong Kan Zining Cao

Published in: Comput. Secur. (2021)

Keyphrases

intrusion detection
access control
network security
security model
statistical databases
smart environments
functional requirements
smart grid
security threats
data sets
java card
security protocols
computer security
security requirements
ubiquitous computing
ambient intelligence
sensor networks