Personal Information

VIEW MORE
Home > Scientific Research > Research Projects

Formal End-to-End Verification of Information-Flow Security for Complex Systems

Hits:

Project Participants:Wang Yuting
Classification of Disciplines:计算机科学技术基础学科
Date of Project Completion:2020-12-01
Date of Project Initiation:2017-01-01

Pre One:系统软件平台端到端正确性的验证方法研究

Next One:A Higher-Order Framework for Meta-Theoretic Reasoning

Recommend this article

 沪ICP备05052060 版权所有©上海交通大学

Click:  | The Last Update Time:..