Modeling and checking the security of DIFC system configurations

Mingyi Zhao, Peng Liu

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Scopus citations

Fingerprint

Dive into the research topics of 'Modeling and checking the security of DIFC system configurations'. Together they form a unique fingerprint.

Engineering & Materials Science