[计] provably-secured operating system

zhèng míng ān quán de cāo zuō xì tǒng ㄓㄥˋ ㄇㄧㄥˊ ㄢ ㄑㄩㄢˊ ㄉㄜ˙ ㄘㄠ ㄗㄨㄛ ㄒㄧˋ ㄊㄨㄥˇ