Security Analysis of Smart Contracts in Datalog.

Published in: ISoLA (4) (2018)

Keyphrases

security analysis
smart card
security requirements
public key
high security
security model
supply chain
encryption scheme
query language
image encryption
authentication protocol
mutual authentication
user authentication
security properties
proxy signature scheme
security mechanisms
private key
low cost
database