What is the abbreviation for Provably secure operating system?

Looking for the shorthand of Provably secure operating system or how to abbreviate it? We have 2 shorthands for Provably secure operating system.