Work

Automatic analysis of DIFC systems using noninterference with declassification

Year: 2021

Type: article

Source: Neural Computing and Applications

DOI: 10.1007/s00521-021-06334-7

Authors: Wenfa Li, Zhi Yang, Jia Liu

Institutions: Beijing Union University, PLA Information Engineering University

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: closed

Funders: National Natural Science Foundation of China, Funding Project for Academic Human Resources Development in Institutions of Higher Learning under the Jurisdiction of Beijing Municipality

Awards: 基于数据流的云计算安全管控关键技术研究, G884860504

OpenAlex ID: W3206800366

FWCI: 0.472

Cites: 31

Cited by: 3

Related to: 10