Refinement modeling and verification of secure operating systems for communication in digital twins by Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman

Subjects: Get full text

A Verified Capability-Based Model for Information Flow Security With Dynamic Policies by Jianwen Sun, Xiang Long, Yongwang Zhao

Subjects: Get full text

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation by Haitao Wang, Lihua Song

Subjects: Get full text

A measurable refinement method of design and verification for micro-kernel operating systems in communication network by Zhenjiang Qian, Rui Xia, Gaofei Sun, Xiaoshuang Xing, Kaijian Xia

Subjects: Get full text