Formal Specification of a Security Framework for Smart Contracts.

Mikhail Mandrykin Jake O'Shannessy Jacob Payne Ilya Shchepetkov

Published in: FM Workshops (1) (2019)

Keyphrases

formal specification
specification language
real world
decision making
model checking
database
machine learning
case study
relational databases
access control
intrusion detection
information security
description language
object oriented design
specification languages