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

  • Main
  • 2015 / 12
  • Design and formal verification of a cloud compliant secure...
IET Information Security 2015 / 12

Design and formal verification of a cloud compliant secure logging mechanism

Sandıkkaya, Mehmet Tahir, Ovatman, Tolga, Harmancı, Ali Emre
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Language:
english
Journal:
IET Information Security
DOI:
10.1049/iet-ifs.2014.0625
Date:
December, 2015
File:
PDF, 1.45 MB
english, 2015
Conversion to is in progress
Conversion to is failed