Design and formal verification of a cloud compliant secure logging mechanism.

Mehmet Tahir Sandikkaya Tolga Ovatman Ali Emre Harmanci

Published in: IET Inf. Secur. (2016)

Keyphrases

formal verification
model checking
model checker
user interface
design process
case study
rough sets
programming language
symbolic model checking
bounded model checking
automated verification
functional verification