短语词组短語provably -secure 可証明安全provably secure operating system 可騐証安全操作系統a provably secure 可証明安全 返回 provably secure