[计] formally-defined security

xíng shì dìng yì de ān quán xìng mó xíng ㄒㄧㄥˊ ㄕˋ ㄉㄧㄥˋ ㄧˋ ㄉㄜ˙ ㄢ ㄑㄩㄢˊ ㄒㄧㄥˋ ㄇㄛˊ ㄒㄧㄥˊ