Special issue on verified information flow security Journal Articles Unrefereed Letters or Notes uri icon

Overview

Time

Date/time value

  • 2017

Identity

Digital Object Identifier (DOI)

  • 10.3233/JCS-0559

Additional Document Info

Parent Title

  • JOURNAL OF COMPUTER SECURITY

Volume

  • 25

Issue

  • 4-5

Publisher

  • IOS Press